1833 search results - page 281 / 367 » Mechanized Verification with Sharing |
144
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents protocols and strategies for coalition formation with incomplete information under time constraints. It focuses on strategies for coalition members to distribu...
127
click to vote
BPM
2004
Springer
15 years 10 months ago
2004
Springer
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
132
click to vote
GRID
2004
Springer
15 years 10 months ago
2004
Springer
A computational grid is a wide-area computing environment for cross-domain resource sharing and service integration. Resource management and load balancing are key concerns when i...
131
click to vote
ICCSA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Wireless LAN (WLAN) refers to the wireless network environment constructed indoors or outdoors, by using either the radio or light wave technology instead of wire signals...
169
Voted
ISI
2004
Springer
15 years 10 months ago
2004
Springer
Through their misuse of authorized privileges, insiders have caused great damage and loss to corporate internal information assets, especially within the Intelligence Community (IC...