1362 search results - page 183 / 273 » Model Checking Large Network Protocol Implementations |
108
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
Many emerging distributed applications require the realtime processing of large amounts of data that are being updated continuously. Distributed stream processing systems offer a ...
132
click to vote
COMSWARE
2006
IEEE
15 years 6 months ago
2006
IEEE
The performance of the protocol stack implementation of an operating system can greatly impact the performance of networked applications that run on it. In this paper, we present a...
155
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Most mature workflow management systems (WfMSs) available today execute workflows via orchestration of an available set of services, a process in which a central coordinating enti...
152
click to vote
HPDC
1997
IEEE
15 years 6 months ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
161
click to vote
TMC
2012
13 years 5 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...