12115 search results - page 90 / 2423 » Bisimulation of Dynamical Systems |
149
Voted
ALIFE
2005
15 years 3 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...
133
Voted
SCOPES
2007
Springer
15 years 9 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...
136
Voted
ADG
2006
Springer
15 years 7 months 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...
128
Voted
EUROSYS
2007
ACM
16 years 19 days 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...