9730 search results - page 352 / 1946 » Relating models of backtracking |
149
click to vote
FDL
2007
IEEE
16 years 16 days ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
111
click to vote
CIKM
2007
Springer
16 years 11 days ago
2007
Springer
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
151
click to vote
WSFM
2007
Springer
16 years 8 days ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
159
click to vote
IEEEARES
2006
IEEE
16 years 6 days ago
2006
IEEE
It is now commonly accepted that security and dependability largely represent two different aspects of an overall meta-concept that reflects the trust that we put in a computer s...
145
click to vote
PRDC
2006
IEEE
16 years 6 days ago
2006
IEEE
The finite average response time model is a very weak distributed systems model: it permits runs with unbounded transmission and processing delays and it does not bound the relat...