410 search results - page 18 / 82 » Tools for System Validation with B Abstract Machines |
DIMVA
2010
13 years 7 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
AAAI
2000
13 years 9 months ago
2000
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
GECCO
2010
Springer
13 years 7 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
IJCAI
1997
13 years 9 months ago
1997
The main purpose of this paper is to illustrate the characteristics of ontology-based authoring tools for Computer Based Training (CBT) systems. It has two major advantages as fol...
SIGSOFT
2003
ACM
14 years 8 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...