4434 search results - page 611 / 887 » On the Composition of Hybrid Systems |
191
Voted
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
158
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
248
click to vote
POPL
2002
ACM
16 years 7 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
176
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
This paper advances new methods for ecosystemic approaches to evolutionary music and art. We explore the biological concept of the niche and its role in evolutionary dynamics, appl...
164
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...