Sciweavers

699 search results - page 62 / 140
» The KGP Model of Agency for Global Computing: Computational ...
Sort
View
HPDC
2003
IEEE
14 years 2 months ago
PlanetP: Using Gossiping to Build Content Addressable Peer-to-Peer Information Sharing Communities
Abstract. We present PlanetP, a peer-to-peer (P2P) content search and retrieval infrastructure targeting communities wishing to share large sets of text documents. P2P computing is...
Francisco Matias Cuenca-Acuna, Christopher Peery, ...
SPIN
2004
Springer
14 years 2 months ago
Black-Box Conformance Testing for Real-Time Systems
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...
Moez Krichen, Stavros Tripakis
PERVASIVE
2005
Springer
14 years 2 months ago
Service Discovery in TinyObj: Strategies and Approaches
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...
Pavel Poupyrev, Takahiro Sasao, Shunsuke Saruwatar...
CSCWD
2008
Springer
13 years 10 months ago
EnViron: An integrated VR tool for engineering projects
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...
Ismael H. F. dos Santos, Alberto Barbosa Raposo, L...
PADS
2005
ACM
14 years 2 months ago
Simulating Realistic Packet Routing without Routing Protocols
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
George F. Riley, Dheeraj Reddy