1294 search results - page 245 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
CAV
2009
Springer
16 years 10 days ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
108
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
184
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
116
click to vote
MOBIQUITOUS
2008
IEEE
15 years 6 months ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
WAN
1998
Springer
15 years 4 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...