3239 search results - page 504 / 648 » A Logical Process Calculus |
110
Voted
PDPTA
2004
15 years 2 months ago
2004
This paper presents the design and performance of remote disk drivers for clusters of Commodity-Off-The-Shelf PCs that fetch disk blocks over System Area Networks. The driver offe...
118
Voted
ISICT
2003
15 years 2 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...
80
Voted
WSC
2001
15 years 2 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...
123
Voted
WM
2003
15 years 2 months ago
2003
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
92
Voted
ECIS
2000
15 years 2 months ago
2000
: Media are explored to envision, to design, and to implement platforms for knowledge management within communities. They actively shape, support and develop the community being re...