Sciweavers

4356 search results - page 542 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
MIDDLEWARE
2007
Springer
16 years 27 days ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
FDL
2006
IEEE
16 years 25 days ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...
ZUM
2005
Springer
136views Formal Methods» more  ZUM 2005»
16 years 7 days ago
Some Guidelines for Formal Development of Web-Based Applications in B-Method
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
Abdolbaghi Rezazadeh, Michael J. Butler
COORDINATION
2004
Springer
16 years 5 days ago
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
Amy L. Murphy, Gian Pietro Picco
159
Voted
FC
2004
Springer
94views Cryptology» more  FC 2004»
16 years 4 days ago
The Ephemeral Pairing Problem
Abstract In wireless ad-hoc broadcast networks the pairing problem consists of establishing a (long-term) connection between two specific physical nodes in the network that do not...
Jaap-Henk Hoepman