612 search results - page 32 / 123 » Bounded model checking for knowledge and real time |
104
Voted
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
We develop a general approach for designing scheduling policies for real-time traffic over wireless channels. We extend prior work, which characterizes a real-time flow by its traf...
102
click to vote
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
101
Voted
FMSD
2006
15 years 14 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
110
Voted
ECOOP
2006
Springer
15 years 2 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
125
click to vote
JSSPP
2005
Springer
15 years 6 months ago
2005
Springer
Real-time applications with security requirements are emerging in various areas including government, education, and business. The security sensitive real-time applications can ta...