4693 search results - page 731 / 939 » Verifying Hybrid Systems |
209
click to vote
SEUS
2007
IEEE
16 years 6 days ago
2007
IEEE
Even without possible interference from external radio sources, the problem of guaranteeing quality-of-service (QoS) routing in mobile ad hoc networks (MANETs) is a difficult probl...
211
click to vote
SOCA
2007
IEEE
16 years 6 days ago
2007
IEEE
Mobile agent technology and Web Service technology compensate each other and play very important roles in eservice applications. The mechanism of Web Services technology naturally...
158
click to vote
DCOSS
2007
Springer
16 years 3 days ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
150
click to vote
FPL
2007
Springer
16 years 2 days ago
2007
Springer
In this paper, we propose a first step towards a time predictable computer architecture for single-chip multiprocessing (CMP). CMP is the actual trend in server and desktop syste...
158
click to vote
MODELS
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...