640 search results - page 44 / 128 » Discovering State Invariants |
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
WSE
2005
IEEE
15 years 5 months ago
2005
IEEE
Grid services are emerged by integrating Grid computing and Web services to perform a seamless information processing system across distributed, heterogeneous, dynamic virtual org...
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
FLAIRS
2003
15 years 1 months ago
2003
It has been discovered about a decade ago that autistic people cannot properly understand and reproduce mental states and emotions. In this study we suggest a particular emotion r...
CORR
1999
Springer
14 years 11 months ago
1999
Springer
We present a technique which complements Hidden Markov Models by incorporating some lexicalized states representing syntactically uncommon words. 'Our approach examines the d...