Sciweavers

2184 search results - page 360 / 437
» Modeling and Realizing Interoperability
Sort
View
MDM
2007
Springer
137views Communications» more  MDM 2007»
14 years 1 months ago
Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
Karl Aberer, Manfred Hauswirth, Ali Salehi
OOPSLA
2007
Springer
14 years 1 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
UIC
2007
Springer
14 years 1 months ago
A Peer-to-Peer Semantic-Based Service Discovery Method for Pervasive Computing Environment
The paper proposes a novel distributed service discovery method for the pervasive computing environment. The method is based on the concept of small world, policy-based advertiseme...
Baopeng Zhang, Yuanchun Shi, Xin Xiao
CW
2006
IEEE
14 years 1 months ago
A New Method for Developing Business Applications: The Cellular Data System
Currently, in the development of business applications, difficulties occasionally arise between the customer side and the supplier side, causing delays and higher development cost...
Toshio Kodama, Tosiyasu L. Kunii, Yoichi Seki
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
14 years 1 months ago
Game Theoretical Analysis of Cooperative Sourcing Scenarios
As an emerging trend in outsourcing, cooperative sourcing is the merging of similar processes of several firms when, for example, several banks merge their payments processing and...
Daniel Beimborn, Hermann-Josef Lamberti, Tim Weitz...