9821 search results - page 350 / 1965 » A Framework for the Development of Protocols |
168
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
In this paper we describe a trace analysis framework, from trace generation to visualization. It includes a unified tracing facility on IBM® SP™ systems, a self-defining interv...
175
click to vote
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
171
click to vote
BCSHCI
2008
15 years 8 months ago
2008
Multi-touch interaction techniques are becoming more widespread because of new industrial initiatives to make this hardware available and affordable for the consumer market. To co...
175
click to vote
WSC
2004
15 years 8 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...
200
click to vote
IJCIS
2006
15 years 6 months ago
2006
Systems and infrastructures are currently being developed to support Web services and Web processes. One prominent solution to manage and coordinate Web services is the use of wor...