3199 search results - page 517 / 640 » Variability in Automation System Models |
124
Voted
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
151
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
119
Voted
IROS
2007
IEEE
15 years 9 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...
130
Voted
DIS
2007
Springer
15 years 8 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...
110
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
- The problem of determining lower bounds for the energy cost of a given nanoscale design is addressed via a complexity theory-based approach. This paper provides a theoretical fra...