2223 search results - page 221 / 445 » Events in Property Patterns |
144
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
114
click to vote
CONCUR
1990
Springer
15 years 9 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
136
click to vote
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
It is difficult to adopt a simulation technology for simulating a software process because of the difficulty in developing a simulation model. In order to resolve the difficulty, ...
126
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
A model is defined that predicts an agent's ascriptions of causality (and related notions of facilitation and justification) between two events in a chain, based on background...
150
click to vote
MABS
2000
Springer
15 years 8 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...