3799 search results - page 624 / 760 » An Engineering Approach to Formal Methods |
136
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Self-assembly is a distributed, asynchronous mechanism that is pervasive across natural systems where hierarchical complex structures are built from the bottom-up. The ...
137
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
129
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
139
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
The optimization of integrated spiral inductors has great practical importance. Previous optimization methods used in this field are either too slow or depend on very simplified a...
154
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...