640 search results - page 44 / 128 » Discovering State Invariants |
124
Voted
PASTE
2004
ACM
15 years 9 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...
125
Voted
WSE
2005
IEEE
15 years 9 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...
127
Voted
VMCAI
2010
Springer
16 years 28 days 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...
112
Voted
FLAIRS
2003
15 years 5 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...
118
Voted
CORR
1999
Springer
15 years 3 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...