Sciweavers

3726 search results - page 572 / 746
» A structured definition of the modeling process
Sort
View
HOLOMAS
2007
Springer
16 years 18 days ago
A Holonic Metamodel for Agent-Oriented Analysis and Design
Abstract. Holonic multiagent systems (hmas) offers a promising software engineering approach for developing applications in complex domains characterized by a hierarchical structu...
Massimo Cossentino, Nicolas Gaud, Stéphane ...
EPEW
2005
Springer
15 years 12 months ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes
ICRA
2003
IEEE
154views Robotics» more  ICRA 2003»
15 years 11 months ago
Scalability and schedulability in large, coordinated, distributed robot systems
— Multiple, independent robot platforms promise significant advantage with respect to robustness and flexibility. However, coordination between otherwise independent robots req...
John Sweeney, Huan Li, Roderic A. Grupen, Krithi R...
AINA
2003
IEEE
15 years 10 months ago
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in th...
Shaoying Liu
WSCG
2003
185views more  WSCG 2003»
15 years 7 months ago
Complex 3D Feature Registration Using a Marching Template
The registration of 3D form features is essential to the supporting of reverse shape design processes. Extracting an editable shape feature from unordered data points is notorious...
Joris S. M. Vergeest, Sander Spanjaard, Chensheng ...