500 search results - page 82 / 100 » Coalgebraic semantics for timed processes |
COORDINATION
2009
Springer
16 years 10 days ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
With the rapid progress of mobile devices and positioning technologies, Trajectory Databases (TD) have been in the core of database research during the last decade. Analysis and k...
114
click to vote
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
MEMOCODE
2006
IEEE
15 years 5 months ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...