2479 search results - page 292 / 496 » Random Event Structures |
215
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
In aspect-oriented programming, one can intercept events by writing patterns called pointcuts. The pointcut language of the most popular aspect-oriented programming language, Aspe...
110
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Run-time monitoring can provide important insights about a program’s behavior and, for simple properties, it can be done efficiently. Monitoring properties describing sequences...
125
Voted
TIME
2008
IEEE
15 years 9 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
115
click to vote
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
117
click to vote
SASO
2007
IEEE
15 years 9 months ago
2007
IEEE
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...