571 search results - page 94 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
GCC
2003
Springer
15 years 2 months ago
2003
Springer
Peer-to-peer networking is a hot buzzword that has been sweeping through the computing industry over the past year or so. Gnutella, as one of the first operational pure P2P systems...
ECSCW
2001
14 years 11 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
ENTCS
2010
14 years 9 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
ACJ
2002
14 years 9 months ago
2002
This paper describes the deployment of residential broadband networks by relating two parallel but contrasting stories. Story 1 considers network providers' search for a kill...
102
click to vote
MAGS
2007
14 years 9 months ago
2007
AKIRA is an open source framework designed for parallel, asynchronous and distributed computation, on the basis of some general architectural principles which are inspired by modu...