410 search results - page 26 / 82 » Tools for System Validation with B Abstract Machines |
155
click to vote
EWC
2007
15 years 3 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ļ¬...
133
Voted
SP
2010
IEEE
15 years 7 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...
126
Voted
CAISE
2006
Springer
15 years 7 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...
127
Voted
FDG
2009
ACM
15 years 10 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...
136
Voted
EKAW
1999
Springer
15 years 8 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...