410 search results - page 26 / 82 » Tools for System Validation with B Abstract Machines |
EWC
2007
13 years 7 months ago
2007
This paper presents research that led to the design and implementation of fast and interactive collision detection methods that can be used to identify and report undesirable conļ¬...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
AbstractāIn network intrusion detection research, one popular strategy for ļ¬nding attacks is monitoring a networkās activity for anomalies: deviations from proļ¬les of norma...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
FDG
2009
ACM
14 years 2 months ago
2009
ACM
Designing videogames involves weaving together systems of rules, called game mechanics, which support and structure compelling player experiences. Thus a significant portion of ga...
EKAW
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...