2223 search results - page 220 / 445 » Events in Property Patterns |
111
Voted
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
127
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
123
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
155
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Problem Frames are a systematic approach to the decomposition of problems that allows us to relate requirements, domain properties, and machine specifications. Having decomposed a...
ICDCS
2003
IEEE
15 years 9 months ago
2003
IEEE
We introduce the hash history mechanism for capturing dependencies among distributed replicas. Hash histories, consisting of a directed graph of version hashes, are independent of...