579 search results - page 111 / 116 » On a Temporal Logic for Object-Based Systems |
CHARME
2005
Springer
14 years 1 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
DAGSTUHL
2007
13 years 9 months ago
2007
arrhythmias (extended abstract) Elisa Fromont, Ren´e Quiniou, Marie-Odile Cordier We are interested in using parallel universes to learn interpretable models that can be subseque...
CCECE
2006
IEEE
14 years 1 months ago
2006
IEEE
Presenting information to an e-learning environment is a challenge, mostly, because ofthe hypertextlhypermedia nature and the richness ofthe context and information provides. This...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
ICDT
2009
ACM
14 years 8 months ago
2009
ACM
We formalize and study business process systems that are centered around "business artifacts", or simply "artifacts". This approach focuses on data records, kn...