12115 search results - page 90 / 2423 » Bisimulation of Dynamical Systems |
RTSS
1995
IEEE
14 years 14 days ago
1995
IEEE
ALIFE
2005
13 years 8 months ago
2005
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
SCOPES
2007
Springer
14 years 3 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
ADG
2006
Springer
14 years 20 days ago
2006
Springer
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
EUROSYS
2007
ACM
14 years 6 months ago
2007
ACM
Continuously running systems require kernel software updates applied to them without downtime. Facilitating fast reboots, or delaying an update may not be a suitable solution in m...