7820 search results - page 18 / 1564 » Formalization of Time and Space |
ANSS
2001
IEEE
13 years 11 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
ENTCS
2008
13 years 7 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
FORMATS
2004
Springer
14 years 23 days ago
2004
Springer
CAV
2007
Springer
14 years 1 months ago
2007
Springer
FM
1999
Springer
13 years 11 months ago
1999
Springer