1398 search results - page 98 / 280 » Ensuring Properties of Interaction Systems |
120
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— We address the problem of scheduling multiple traffic streams associated with target profiles on a shared wireless link, arising in real-time applications with soft/flexible...
128
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Statistical Rate Monotonic Scheduling (SRMS) is a generalization of the classical RMS results of Liu and Layland [10] for periodic tasks with highly variable execution times and s...
164
click to vote
ASIAN
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
144
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...
138
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...