Sciweavers

9702 search results - page 1783 / 1941
» Communicating Mobile Processes
Sort
View
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
15 years 10 months ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
CHI
2004
ACM
15 years 10 months ago
Trust and mistrust of online health sites
Do different design and information content factors influence trust and mistrust of online health sites? Fifteen women faced with a risky health decision were observed while searc...
Elizabeth Sillence, Pamela Briggs, Lesley Fishwick...
122
Voted
IMC
2004
ACM
15 years 10 months ago
Identifying elephant flows through periodically sampled packets
Identifying elephant flows is very important in developing effective and efficient traffic engineering schemes. In addition, obtaining the statistics of these flows is also ver...
Tatsuya Mori, Masato Uchida, Ryoichi Kawahara, Jia...
PADS
2004
ACM
15 years 10 months ago
Conservative Synchronization of Large-Scale Network Simulations
Parallel discrete event simulation techniques have enabled the realization of large-scale models of communication networks containing millions of end hosts and routers. However, t...
Alfred Park, Richard M. Fujimoto, Kalyan S. Peruma...
SC
2004
ACM
15 years 10 months ago
Performance Tool Support for MPI-2 on Linux
Programmers of message-passing codes for clusters of workstations face a daunting challenge in understanding the performance bottlenecks of their applications. This is largely due...
Kathryn Mohror, Karen L. Karavanic
« Prev « First page 1783 / 1941 Last » Next »