1728 search results - page 150 / 346 » Formal Modeling of Process Migration |
119
click to vote
ENTCS
2007
15 years 3 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
148
click to vote
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rule...
122
click to vote
SEKE
2004
Springer
15 years 8 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
121
click to vote
IJCAI
2007
15 years 4 months ago
2007
Computational cognitive modeling has recently emerged as one of the hottest issues in the AI area. Both symbolic approaches and connectionist approaches present their merits and d...
JGS
2000
15 years 2 months ago
2000
Abstract. Geographical Information Science is essentially computational geography and has its own research program, namely all aspects of formal models for spatial natural processe...