Sciweavers

6919 search results - page 199 / 1384
» Designing Service Communities
Sort
View
ENTCS
2002
65views more  ENTCS 2002»
15 years 4 months ago
Superposition: Composition vs refinement of non-deterministic action-based systems
We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministi...
Antónia Lopes, José Luiz Fiadeiro
IPSN
2007
Springer
15 years 10 months ago
Beacon location service: a location service for point-to-point routing in wireless sensor networks
In this paper we present Beacon Location Service (BLS): a location service for beacon-based routing algorithms like Beacon Vector Routing (BVR) [8] and S4 [19] . The role of a loc...
Jorge Ortiz, Chris R. Baker, Daekyeong Moon, Rodri...
IEEESCC
2005
IEEE
15 years 10 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
HICSS
2009
IEEE
77views Biometrics» more  HICSS 2009»
15 years 11 months ago
Users of Open Source Software - How Do They Get Help?
A study was conducted across multiple open source software online technical help communities. This paper presents the types of discussions that occur, the types of questions asked...
Vandana Singh, Michael B. Twidale, David M. Nichol...
VRML
1998
ACM
15 years 8 months ago
VSPLUS: A High-Level Multi-User Extension Library for Interactive VRML worlds
In this paper, we introduce the design and implementation of VSPLUS, a high-level multi-user extension library to enable people to simultaneously manipulate interactive VRML world...
Yoshiaki Araki