2558 search results - page 405 / 512 » Model Composition Contracts |
131
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
123
click to vote
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
130
click to vote
PADS
2000
ACM
15 years 8 months ago
2000
ACM
Multi-agent systems comprise multiple, deliberative agents embedded in and recreating patterns of interactions. Each agent’s execution consumes considerable storage and calculat...
126
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
139
Voted
WADT
1998
Springer
15 years 7 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...