2060 search results - page 300 / 412 » The Composition of Event-B Models |
166
click to vote
KI
2009
Springer
16 years 1 months ago
2009
Springer
Cardinal direction relations are binary spatial relations determined under an extrinsically-defined direction system (e.g., north of). We already have point-based and region-based ...
161
click to vote
IEEESCC
2008
IEEE
16 years 26 days ago
2008
IEEE
A new type of Web-based applications, known as Enterprise Mashups, has been gaining momentum in the last years. Novel design principles are currently about to emerge allowing to c...
197
click to vote
SEUS
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
183
click to vote
LAWEB
2007
IEEE
16 years 22 days ago
2007
IEEE
In this paper we present a novel approach for designing the interface of rich internet applications. Our approach uses ract Data Views (ADV) design model allowing expressing in a ...
160
click to vote
SEFM
2007
IEEE
16 years 22 days ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...