410 search results - page 80 / 82 » Tools for System Validation with B Abstract Machines |
FINTAL
2006
13 years 11 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
UM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
CEEMAS
2001
Springer
14 years 1 hour ago
2001
Springer
Developing multi-agent simulations seems to be rather straight forward, as active entities in the original correspond to active agents in the model. Thus plausible behaviors can be...
BMCBI
2007
13 years 7 months ago
2007
Background: Manual curation of biological databases, an expensive and labor-intensive process, is essential for high quality integrated data. In this paper we report the implement...
JSS
2010
13 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...