Sciweavers

AI
2005
Springer
13 years 11 months ago
Task-dependent qualitative domain abstraction
ion M. Sachenbacher a,, P. Struss b aMIT CSAIL, 200 Technology Square, Cambridge, MA 02139, USA bTechnische Universit
Martin Sachenbacher, Peter Struss
ICDCSW
2000
IEEE
14 years 3 months ago
Compositional Verification of a Third Generation Mobile Communication Protocol
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
Sari Leppänen, Matti Luukkainen
BIRTHDAY
2006
Springer
14 years 3 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...
ECMDAFA
2010
Springer
238views Hardware» more  ECMDAFA 2010»
14 years 4 months ago
eSPEM - A SPEM Extension for Enactable Behavior Modeling
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Ma...
ICCSA
2005
Springer
14 years 5 months ago
M of N Features vs. Intrusion Detection
In order to complement the incomplete training audit trails, model generalization is always utilized to infer more unknown knowledge for intrusion detection. Thus, it is important ...
Zhuowei Li, Amitabha Das