410 search results - page 31 / 82 » Tools for System Validation with B Abstract Machines |
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
INFOCOM
2000
IEEE
13 years 12 months ago
2000
IEEE
Abstract— Knowledge of the up-to-date physical topology of an IP network is crucial to a number of critical network management tasks, including reactive and proactive resource ma...
JVA
2006
IEEE
14 years 1 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
DAC
1997
ACM
13 years 11 months ago
1997
ACM
Abstract—We present the Instruction Set Description Language, ISDL, a machine description language used to describe target architectures to a retargetable compiler. The features ...
SBCCI
2003
ACM
14 years 26 days ago
2003
ACM
The growing adoption of reconfigurable architectures opens new implementation alternatives and creates new design challenges. In the case of dynamically reconfigurable architectur...