1728 search results - page 281 / 346 » Formal Modeling of Process Migration |
119
click to vote
PUC
2008
15 years 2 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
124
click to vote
TCS
2010
15 years 1 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
128
click to vote
ICSOC
2009
Springer
15 years 21 days ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
135
click to vote
IANDC
2010
15 years 10 days ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
242
click to vote
CGF
2011
14 years 10 months ago
2011
Motion blur is a fundamental cue in the perception of objects in motion. This phenomenon manifests as a visible trail along the trajectory of the object and is the result of the c...