1728 search results - page 108 / 346 » Formal Modeling of Process Migration |
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
84
Voted
ENTCS
2007
14 years 11 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
CAISE
2001
Springer
15 years 3 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
91
Voted
ICML
2008
IEEE
15 years 12 months ago
2008
IEEE
Compressive sensing (CS) is an emerging field that, under appropriate conditions, can significantly reduce the number of measurements required for a given signal. In many applicat...
84
Voted
SKG
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we proposed the learning resource ontology(LRO) models to formally describe learning content and learning context, respectively. In addition to utilizing the models...