1833 search results - page 205 / 367 » Mechanized Verification with Sharing |
167
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Conversation policies codify the allowable exchanges of speech acts among agents as they execute specific types of tasks. Both the set of agents in a community, and the nature of...
179
click to vote
CAISE
2000
Springer
15 years 11 months ago
2000
Springer
With the emergence of the Internet, collaborative computing has become more feasible than ever. Organizations can share valuable information among each other. However, certain user...
169
click to vote
HPDC
1998
IEEE
15 years 10 months ago
1998
IEEE
PAWS (Parallel Application WorkSpace) is a software infrastructure for use in connecting separate parallel applications within a component-like model. A central PAWS Controller co...
246
click to vote
CONPAR
1994
15 years 10 months ago
1994
Data parallel languages such as Vienna Fortran and HPF can be successfully applied to a wide range of numerical applications. However, many advanced scienti c and engineering appl...
167
click to vote
APWEB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. As a developing P2P system, Gnutella has upgraded its protocol to 0.6, which significantly changed the characteristics of its hosts. However, few previous work has given ...