1831 search results - page 134 / 367 » Time Constraints in Workflow Systems |
110
click to vote
TII
2008
15 years 3 months ago
2008
In recent years, approaches to control performance and resource optimization for embedded control systems have been receiving increased attention. Most of them focus on theory, whe...
143
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
128
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
113
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
This paper addresses design exploration for protocols that are employed in systems with availability-consistency tradeoffs. Distributed data is modelled as states of objects repl...
166
Voted
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...