1774 search results - page 188 / 355 » Modeling Dynamic Component Interfaces |
APN
2009
Springer
14 years 23 days ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
IMR
2004
Springer
14 years 3 months ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
FM
2006
Springer
14 years 1 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
MDM
2009
Springer
14 years 4 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
COORDINATION
2007
Springer
14 years 3 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...