AU2005296859B2 - Acting on a subject system - Google Patents
Acting on a subject system Download PDFInfo
- Publication number
- AU2005296859B2 AU2005296859B2 AU2005296859A AU2005296859A AU2005296859B2 AU 2005296859 B2 AU2005296859 B2 AU 2005296859B2 AU 2005296859 A AU2005296859 A AU 2005296859A AU 2005296859 A AU2005296859 A AU 2005296859A AU 2005296859 B2 AU2005296859 B2 AU 2005296859B2
- Authority
- AU
- Australia
- Prior art keywords
- model
- event
- action
- meta
- processor
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Ceased
Links
- 230000009471 action Effects 0.000 claims description 448
- 230000008859 change Effects 0.000 claims description 92
- 239000012190 activator Substances 0.000 claims description 83
- 230000000694 effects Effects 0.000 claims description 66
- 230000004044 response Effects 0.000 claims description 59
- 238000004088 simulation Methods 0.000 claims description 56
- 239000002131 composite material Substances 0.000 claims description 52
- 230000001960 triggered effect Effects 0.000 claims description 30
- 230000000977 initiatory effect Effects 0.000 claims description 29
- 230000000875 corresponding effect Effects 0.000 claims description 24
- 238000012545 processing Methods 0.000 claims description 24
- 238000012217 deletion Methods 0.000 claims description 15
- 230000037430 deletion Effects 0.000 claims description 15
- 230000001419 dependent effect Effects 0.000 claims description 12
- 230000004048 modification Effects 0.000 claims description 12
- 238000012986 modification Methods 0.000 claims description 12
- 238000009826 distribution Methods 0.000 claims description 3
- 238000000034 method Methods 0.000 description 92
- 238000013459 approach Methods 0.000 description 43
- 230000008569 process Effects 0.000 description 41
- 238000011161 development Methods 0.000 description 29
- 230000018109 developmental process Effects 0.000 description 29
- 230000006399 behavior Effects 0.000 description 27
- 238000013461 design Methods 0.000 description 26
- 238000004891 communication Methods 0.000 description 23
- 238000002360 preparation method Methods 0.000 description 20
- 239000003795 chemical substances by application Substances 0.000 description 18
- 238000004519 manufacturing process Methods 0.000 description 18
- 230000003542 behavioural effect Effects 0.000 description 17
- 238000011835 investigation Methods 0.000 description 16
- 230000007246 mechanism Effects 0.000 description 16
- 238000012360 testing method Methods 0.000 description 15
- 230000006870 function Effects 0.000 description 14
- 238000007726 management method Methods 0.000 description 14
- 238000013519 translation Methods 0.000 description 10
- 238000004458 analytical method Methods 0.000 description 9
- 230000033772 system development Effects 0.000 description 9
- 230000004913 activation Effects 0.000 description 8
- 230000008901 benefit Effects 0.000 description 8
- 230000003044 adaptive effect Effects 0.000 description 7
- 238000005516 engineering process Methods 0.000 description 7
- 230000007704 transition Effects 0.000 description 7
- 150000001875 compounds Chemical class 0.000 description 6
- 230000036961 partial effect Effects 0.000 description 6
- 230000003068 static effect Effects 0.000 description 6
- 238000010586 diagram Methods 0.000 description 5
- 230000007774 longterm Effects 0.000 description 5
- 238000003860 storage Methods 0.000 description 5
- 230000001276 controlling effect Effects 0.000 description 4
- 230000003993 interaction Effects 0.000 description 4
- 230000001360 synchronised effect Effects 0.000 description 4
- 238000012549 training Methods 0.000 description 4
- 241000282412 Homo Species 0.000 description 3
- 241000282414 Homo sapiens Species 0.000 description 3
- 101150085511 PEDS1 gene Proteins 0.000 description 3
- 102100037592 Plasmanylethanolamine desaturase Human genes 0.000 description 3
- 230000006978 adaptation Effects 0.000 description 3
- 238000010276 construction Methods 0.000 description 3
- 230000000670 limiting effect Effects 0.000 description 3
- 230000002093 peripheral effect Effects 0.000 description 3
- 229920003199 poly(diethylsiloxane) Polymers 0.000 description 3
- 235000013405 beer Nutrition 0.000 description 2
- 238000004422 calculation algorithm Methods 0.000 description 2
- 238000013070 change management Methods 0.000 description 2
- 238000006243 chemical reaction Methods 0.000 description 2
- 238000000354 decomposition reaction Methods 0.000 description 2
- 239000012636 effector Substances 0.000 description 2
- 230000003116 impacting effect Effects 0.000 description 2
- 230000006872 improvement Effects 0.000 description 2
- 230000002401 inhibitory effect Effects 0.000 description 2
- 238000012544 monitoring process Methods 0.000 description 2
- 230000000284 resting effect Effects 0.000 description 2
- 238000010845 search algorithm Methods 0.000 description 2
- 230000009466 transformation Effects 0.000 description 2
- 241000819038 Chichester Species 0.000 description 1
- 229940126062 Compound A Drugs 0.000 description 1
- NLDMNSXOCDLTTB-UHFFFAOYSA-N Heterophylliin A Natural products O1C2COC(=O)C3=CC(O)=C(O)C(O)=C3C3=C(O)C(O)=C(O)C=C3C(=O)OC2C(OC(=O)C=2C=C(O)C(O)=C(O)C=2)C(O)C1OC(=O)C1=CC(O)=C(O)C(O)=C1 NLDMNSXOCDLTTB-UHFFFAOYSA-N 0.000 description 1
- 230000001133 acceleration Effects 0.000 description 1
- 230000001154 acute effect Effects 0.000 description 1
- 230000002411 adverse Effects 0.000 description 1
- 238000013473 artificial intelligence Methods 0.000 description 1
- 238000013528 artificial neural network Methods 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 238000013497 data interchange Methods 0.000 description 1
- 238000013523 data management Methods 0.000 description 1
- 238000009795 derivation Methods 0.000 description 1
- 239000012530 fluid Substances 0.000 description 1
- 239000003112 inhibitor Substances 0.000 description 1
- 239000003999 initiator Substances 0.000 description 1
- 238000013507 mapping Methods 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000010295 mobile communication Methods 0.000 description 1
- 230000008520 organization Effects 0.000 description 1
- 239000000843 powder Substances 0.000 description 1
- 238000004886 process control Methods 0.000 description 1
- 230000035755 proliferation Effects 0.000 description 1
- 230000000644 propagated effect Effects 0.000 description 1
- 230000009467 reduction Effects 0.000 description 1
- 230000002829 reductive effect Effects 0.000 description 1
- 230000010076 replication Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000013522 software testing Methods 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 230000002459 sustained effect Effects 0.000 description 1
- 238000003786 synthesis reaction Methods 0.000 description 1
- 230000009885 systemic effect Effects 0.000 description 1
- 230000000472 traumatic effect Effects 0.000 description 1
- 230000000007 visual effect Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B15/00—Systems controlled by a computer
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B15/00—Systems controlled by a computer
- G05B15/02—Systems controlled by a computer electric
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B17/00—Systems involving the use of models or simulators of said systems
- G05B17/02—Systems involving the use of models or simulators of said systems electric
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/24—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
- G06F9/3836—Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution
- G06F9/3851—Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution from multiple instruction streams, e.g. multistreaming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/44—Arrangements for executing specific programs
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N7/00—Computing arrangements based on specific mathematical models
- G06N7/08—Computing arrangements based on specific mathematical models using chaos models or non-linear system models
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Economics (AREA)
- Entrepreneurship & Innovation (AREA)
- Human Resources & Organizations (AREA)
- Strategic Management (AREA)
- Tourism & Hospitality (AREA)
- General Business, Economics & Management (AREA)
- Marketing (AREA)
- Operations Research (AREA)
- Quality & Reliability (AREA)
- Automation & Control Theory (AREA)
- Educational Administration (AREA)
- Game Theory and Decision Science (AREA)
- Development Economics (AREA)
- Multimedia (AREA)
- Mathematical Analysis (AREA)
- Pure & Applied Mathematics (AREA)
- Computational Mathematics (AREA)
- Data Mining & Analysis (AREA)
- Evolutionary Computation (AREA)
- Algebra (AREA)
- Mathematical Optimization (AREA)
- Artificial Intelligence (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Nonlinear Science (AREA)
- Processing Or Creating Images (AREA)
- Stored Programmes (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Feedback Control In General (AREA)
Applications Claiming Priority (3)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| GBGB0423110.6A GB0423110D0 (en) | 2004-10-18 | 2004-10-18 | Acting on a subject system |
| GB0423110.6 | 2004-10-18 | ||
| PCT/EP2005/055310 WO2006042841A2 (fr) | 2004-10-18 | 2005-10-17 | Action sur un systeme d'interet |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| AU2005296859A1 AU2005296859A1 (en) | 2006-04-27 |
| AU2005296859B2 true AU2005296859B2 (en) | 2011-03-10 |
Family
ID=33462924
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| AU2005296859A Ceased AU2005296859B2 (en) | 2004-10-18 | 2005-10-17 | Acting on a subject system |
Country Status (7)
| Country | Link |
|---|---|
| EP (1) | EP1805704A2 (fr) |
| JP (1) | JP5128949B2 (fr) |
| CN (1) | CN101288090B (fr) |
| AU (1) | AU2005296859B2 (fr) |
| CA (1) | CA2583921C (fr) |
| GB (3) | GB0423110D0 (fr) |
| WO (1) | WO2006042841A2 (fr) |
Families Citing this family (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US8078552B2 (en) * | 2008-03-08 | 2011-12-13 | Tokyo Electron Limited | Autonomous adaptive system and method for improving semiconductor manufacturing quality |
| US8725667B2 (en) | 2008-03-08 | 2014-05-13 | Tokyo Electron Limited | Method and system for detection of tool performance degradation and mismatch |
| US8190543B2 (en) | 2008-03-08 | 2012-05-29 | Tokyo Electron Limited | Autonomous biologically based learning tool |
| US8396582B2 (en) | 2008-03-08 | 2013-03-12 | Tokyo Electron Limited | Method and apparatus for self-learning and self-improving a semiconductor manufacturing tool |
| CA2692018A1 (fr) | 2009-02-06 | 2010-08-06 | It Actual Sdn. Bhd. | Plate-forme de calcul basee sur la hierarchie de structures de donnees emboitees |
| CA2679786A1 (fr) * | 2009-09-16 | 2009-12-16 | Ibm Canada Limited - Ibm Canada Limitee | Representation conceptuelle de procedes commerciaux pour application de "cross-domain" |
| AU2011380289B2 (en) * | 2011-10-31 | 2015-03-26 | Fraunhofer-Gesellschaft Zur Foerderung Der Angewandten Forschung E.V. | Apparatus and method for synchronizing events |
| KR102011094B1 (ko) * | 2017-06-28 | 2019-08-14 | 백옥기 | 인공지능의 신경가소성 및 자가적응 유연성을 구현하기 위하여 자가적응형 동적 다차원 배열을 관리하는 방법과 이를 이용한 컴퓨터 소프트웨어 |
| CN109460214B (zh) * | 2018-11-06 | 2021-07-27 | 上海航天测控通信研究所 | 基于idef建模的航天器软件结构化方法 |
| CN110164082B (zh) * | 2019-06-21 | 2021-01-15 | 山东大学 | 家庭安防报警系统的静态控制器设计方法及系统 |
| CN117099057A (zh) * | 2021-04-02 | 2023-11-21 | 三菱电机株式会社 | 程序生成装置和程序生成方法 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5875330A (en) * | 1994-02-28 | 1999-02-23 | International Business Machines Corporation | Tool for defining complex systems |
| US5887143A (en) * | 1995-10-26 | 1999-03-23 | Hitachi, Ltd. | Apparatus and method for synchronizing execution of programs in a distributed real-time computing system |
Family Cites Families (11)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| IE873207L (en) * | 1987-11-26 | 1989-05-26 | Schering Ag | An energy management system |
| US5596331A (en) * | 1988-05-13 | 1997-01-21 | Lockheed Martin Corporation | Real-time control sequencer with state matrix logic |
| JPH02109127A (ja) * | 1988-10-19 | 1990-04-20 | Hitachi Ltd | 仕様処理方法 |
| JP3598732B2 (ja) * | 1997-05-20 | 2004-12-08 | 三菱電機株式会社 | 分散制御システムの構成管理方法およびこれに用いるデータ |
| JPH113108A (ja) * | 1997-06-13 | 1999-01-06 | Sony Corp | 加工制御方法及び加工制御装置 |
| WO1999030230A1 (fr) * | 1997-12-12 | 1999-06-17 | Cacheon, L.L.C. | Systeme et procede de traitement informatique naturellement parallele |
| JP3863069B2 (ja) * | 2002-06-06 | 2006-12-27 | 本田技研工業株式会社 | プラントの制御装置 |
| JP2004164328A (ja) * | 2002-11-13 | 2004-06-10 | Fujitsu Ltd | 一人ｃａｍシステムおよび一人ｃａｍプログラム |
| US7006900B2 (en) * | 2002-11-14 | 2006-02-28 | Asm International N.V. | Hybrid cascade model-based predictive control system |
| AU2003290932A1 (en) * | 2002-11-15 | 2004-06-15 | Applied Materials, Inc. | Method, system and medium for controlling manufacture process having multivariate input parameters |
| JP3940665B2 (ja) * | 2002-11-27 | 2007-07-04 | 株式会社東芝 | ハイブリッドシミュレーション装置およびプログラム |
-
2004
- 2004-10-18 GB GBGB0423110.6A patent/GB0423110D0/en not_active Ceased
-
2005
- 2005-10-17 CA CA2583921A patent/CA2583921C/fr not_active Expired - Fee Related
- 2005-10-17 AU AU2005296859A patent/AU2005296859B2/en not_active Ceased
- 2005-10-17 CN CN2005800376254A patent/CN101288090B/zh not_active Expired - Fee Related
- 2005-10-17 WO PCT/EP2005/055310 patent/WO2006042841A2/fr active Application Filing
- 2005-10-17 JP JP2007536195A patent/JP5128949B2/ja not_active Expired - Fee Related
- 2005-10-17 GB GB0613704A patent/GB2425868B/en not_active Expired - Fee Related
- 2005-10-17 GB GB0618546A patent/GB2428322A/en not_active Withdrawn
- 2005-10-17 EP EP05806079A patent/EP1805704A2/fr not_active Withdrawn
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5875330A (en) * | 1994-02-28 | 1999-02-23 | International Business Machines Corporation | Tool for defining complex systems |
| US5887143A (en) * | 1995-10-26 | 1999-03-23 | Hitachi, Ltd. | Apparatus and method for synchronizing execution of programs in a distributed real-time computing system |
Non-Patent Citations (1)
| Title |
|---|
| AGHA, G., 'Actors: A Model Of Concurrent Computation In Distributed Systems', MIT Artificial Intelligence Laboratory, Technical Report 844, June 1985 * |
Also Published As
| Publication number | Publication date |
|---|---|
| GB0423110D0 (en) | 2004-11-17 |
| GB2428322A9 (en) | 2007-02-12 |
| GB0613704D0 (en) | 2006-08-23 |
| WO2006042841A2 (fr) | 2006-04-27 |
| CN101288090B (zh) | 2013-09-04 |
| GB2425868B (en) | 2007-07-04 |
| GB2425868A (en) | 2006-11-08 |
| GB0618546D0 (en) | 2006-11-01 |
| GB2428322A (en) | 2007-01-24 |
| JP2008517362A (ja) | 2008-05-22 |
| CN101288090A (zh) | 2008-10-15 |
| WO2006042841A8 (fr) | 2008-01-17 |
| EP1805704A2 (fr) | 2007-07-11 |
| CA2583921A1 (fr) | 2006-04-27 |
| JP5128949B2 (ja) | 2013-01-23 |
| CA2583921C (fr) | 2017-01-24 |
| AU2005296859A1 (en) | 2006-04-27 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US7822592B2 (en) | Acting on a subject system | |
| AU2005296859B2 (en) | Acting on a subject system | |
| Cossentino | From requirements to code with PASSI methodology | |
| Bartoletti et al. | Compliance in behavioural contracts: a brief survey | |
| Syriani et al. | Modeling a model transformation language | |
| Cadoret et al. | Design patterns for rule-based refinement of safety critical embedded systems models | |
| Manolescu | Workflow enactment with continuation and future objects | |
| AU2003227991A1 (en) | Generation of executable processes for distribution | |
| Kamburjan et al. | Session-based compositional analysis for actor-based languages using futures | |
| Ray et al. | Analyzing pathways using ASP-based approaches | |
| Bodorik et al. | Tabs: Transforming automatically bpmn models into blockchain smart contracts | |
| Achten et al. | An introduction to task oriented programming | |
| Chrszon et al. | Modeling role-based systems with exogenous coordination | |
| Brown et al. | Enterprise-scale CBD: Building complex computer systems from components | |
| Tan et al. | A message-driving formalism for modeling and simulation of multi-agent supply chain systems | |
| Colburn et al. | Decoupling as a fundamental value of computer science | |
| El Menshawy et al. | Computational logics and verification techniques of multi-agent commitments: survey | |
| Saeedloei et al. | From scenarios to timed automata | |
| Arronategui et al. | Towards an architecture proposal for federation of distributed DES simulators | |
| Fiadeiro | Software services: Scientific challenge or industrial hype? | |
| Ferigo et al. | A generic synchronous dataflow architecture to rapidly prototype and deploy robot controllers | |
| Santiago et al. | A graphical user interface for Maude-NPA | |
| Majumdar | Robots at the edge of the cloud | |
| Wand et al. | Computing tomorrow: future research directions in computer science | |
| Roostaei Ali Mehr | Scalable Automatic Service Composition using Genetic Algorithms |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FGA | Letters patent sealed or granted (standard patent) | ||
| MK14 | Patent ceased section 143(a) (annual fees not paid) or expired |