4305 search results - page 466 / 861 » Analysing Protocol Implementations |
193
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
149
click to vote
CN
2000
15 years 6 months ago
2000
This paper describes an experimental system for classroom-based tele-education based on IP multicast. It gives an overview of the system and describes how the system is designed t...
176
click to vote
ICPPW
2008
IEEE
16 years 1 months ago
2008
IEEE
The access patterns performed by disk-intensive applications vary widely, from simple contiguous reads or writes through an entire file to completely unpredictable random access....
179
click to vote
ICS
2005
Tsinghua U.
16 years 8 days ago
2005
Tsinghua U.
Parallel I/O needs to keep pace with the demand of high performance computing applications on systems with ever-increasing speed. Exploiting high-end interconnect technologies to ...
177
click to vote
MSWIM
2004
ACM
16 years 6 days ago
2004
ACM
In mobile ad hoc networks, node mobility causes links between nodes to break frequently, thus terminating the lifetime of the routes containing those links. An alternative route h...