410 search results - page 46 / 82 » Tools for System Validation with B Abstract Machines |
ADAEUROPE
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the design and implementation of GNAT Pro for ERC32, a flexible cross-development environment supporting the Ravenscar tasking model on top of bare ERC32 comp...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
DIMVA
2007
13 years 9 months ago
2007
Abstract. Autonomous spreading malware in the form of bots or worms is a constant threat in today’s Internet. In the form of botnets, networks of compromised machines that can be...
EXPERT
2007
13 years 7 months ago
2007
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
TRIDENTCOM
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract. As wireless networks become a critical part of home, business and industrial infrastructure, researchers will meet these demands by providing new networking technologies....