Sciweavers

1697 search results - page 71 / 340
» Supporting the design of service contracts with interaction ...
Sort
View
CCGRID
2004
IEEE
15 years 3 months ago
Supporting quality of service in a non-dedicated opportunistic environment
In this paper we investigate the utilization of nondedicated, opportunistic resources in a desktop environment to provide statistical assurances to a class of QoS sensitive, soft ...
Jin Liang, Klara Nahrstedt
CSUR
2000
136views more  CSUR 2000»
14 years 11 months ago
Pattern density and role modeling of an object transport service
Many object-oriented frameworks exhibit a high density of design pattern applications. Usually, there are more instances in a framework than there are abstract classes. Yet, only ...
Dirk Riehle, Roger Brudermann, Thomas R. Gross, Ka...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 3 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
PERCOM
2007
ACM
15 years 11 months ago
A User Interaction Model for NFC Enabled Applications
Near field communication (NFC) is a short-range wireless protocol that allows users to connect devices and access content and services by simply holding enabled devices near each ...
Yaw Anokwa, Gaetano Borriello, Trevor Pering, Roy ...
STEP
2005
IEEE
15 years 5 months ago
Using Metamodels in Service Interoperability
Interoperability in service oriented environments is heavily inuenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
Andreas Winter, Jürgen Ebert