Sciweavers

4286 search results - page 419 / 858
» Formalizing Service Interactions
Sort
View
ASPLOS
2006
ACM
16 years 21 days ago
A: an assertion language for distributed systems
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
Andrew Tjang, Fábio Oliveira, Richard P. Ma...
RTCSA
2005
IEEE
16 years 9 days ago
Research Issues in the Development of Context-Aware Middleware Architectures
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
Hung Quoc Ngo, Anjum Shehzad, Kim Anh Pham Ngoc, S...
OTM
2005
Springer
16 years 6 days ago
Ontology Transformation and Reasoning for Model-Driven Architecture
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
Claus Pahl
ERLANG
2004
ACM
16 years 5 days ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan
MOBICOM
1998
ACM
15 years 11 months ago
Multi-Sensor Location Tracking
CT In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying trac...
Ulf Leonhardt, Jeff Magee