432 search results - page 66 / 87 » Interaction Abstraction for Compositional Finite State Syste... |
ECAL
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Self-replication is a fundamental property of many interesting physical, formal and biological systems, such as crystals, waves, automata, and especially forms of natural...
IJACTAICIT
2010
13 years 5 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
TACAS
2009
Springer
14 years 2 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
We introduce regular graph constraints and explore their decidability properties. The motivation for regular graph constraints is 1) type checking of changing types of objects in ...
LCTRTS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...