1728 search results - page 149 / 346 » Formal Modeling of Process Migration |
160
click to vote
APCCM
2009
15 years 4 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
143
click to vote
IJVR
2008
15 years 3 months ago
2008
The Web3D technologies make it possible to create Collaborative Virtual Environment (CVE) in the popular Internet, thus promoting the popularity of CVE scientific applications to b...
233
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
104
click to vote
LACL
1998
Springer
15 years 7 months ago
1998
Springer
In this paper we give a formal description of the parsing model that underlies the treatment of Long Distance Dependencies, Topic and Focus, Ellipsis and Quantification in, amongs...
114
click to vote
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...