Sciweavers

5599 search results - page 254 / 1120
» Abstract State Services
Sort
View
SIGMOBILE
2002
80views more  SIGMOBILE 2002»
15 years 6 months ago
The design and applications of a context service
ese two applications are built upon the abstraction provided by the Context Service and thus help validate the design of this service. The first application, a Notification Dispatc...
Hui Lei, Daby M. Sow, John S. Davis II, Guruduth B...
NOTERE
2010
15 years 5 months ago
Device Services for The Home
Abstract—An approach is presented for flexible support of devices in smart homes, meeting the needs of both home automation and telecare. Device services are introduced as a gen...
Kenneth J. Turner
ISORC
2005
IEEE
16 years 3 days ago
Proof Slicing with Application to Model Checking Web Services
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul
CAISE
2008
Springer
15 years 8 months ago
SpreadMash: A Spreadsheet-Based Interactive Browsing and Analysis Tool for Data Services
Abstract. Spreadsheets are one of the most popular end-users programming environment. Although spreadsheets provide an interactive interface for data manipulation and analysis, the...
Woralak Kongdenfha, Boualem Benatallah, Rég...
SEMWEB
2007
Springer
16 years 19 days ago
Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
Frank Kaufer, Matthias Klusch