1860 search results - page 229 / 372 » A Temporal Logic of Robustness |
107
Voted
IPL
2002
15 years 1 months ago
2002
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
105
click to vote
SAC
2002
ACM
15 years 1 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
140
click to vote
SI3D
2005
ACM
15 years 7 months ago
2005
ACM
So far extending light field rendering to dynamic scenes has been trivially treated as the rendering of static light fields stacked in time. This type of approaches requires inp...
MICRO
2010
IEEE
14 years 11 months ago
2010
IEEE
Efficient management of last level caches (LLCs) plays an important role in bridging the performance gap between processor cores and main memory. This paper is motivated by two key...
109
click to vote
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper proposes a unified approach for initializing, detecting and tracking of multiple moving objects. Object initialization is achieved through novel seed selection which is...