1860 search results - page 188 / 372 » A Temporal Logic of Robustness |
131
click to vote
VLSID
2005
IEEE
16 years 2 months ago
2005
IEEE
We propose a novel, non-simulative, probabilistic model for switching activity in sequential circuits, capturing both spatio-temporal correlations at internal nodes and higher ord...
116
Voted
RE
2004
Springer
15 years 7 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
114
click to vote
AMAST
2000
Springer
15 years 6 months ago
2000
Springer
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
122
click to vote
RIDE
1999
IEEE
15 years 6 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
96
Voted
AI
2004
Springer
15 years 1 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...