1728 search results - page 133 / 346 » Formal Modeling of Process Migration |
118
click to vote
ATAL
2008
Springer
15 years 3 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...
89
Voted
ENTCS
2007
15 years 1 months ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
129
Voted
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
125
Voted
ALGOSENSORS
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...
127
Voted
PADS
2009
ACM
15 years 8 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...