1472 search results - page 206 / 295 » On Model Checking Infinite-State Systems |
129
click to vote
WISES
2003
15 years 3 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
110
click to vote
CAV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a brief overview of the tool Ticc (Tool for Interface Compatibility and Composition). In Ticc, a component interface describes both the behavior of a component...
150
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
145
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
116
click to vote
UMUAI
2008
15 years 1 months ago
2008
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...