1453 search results - page 166 / 291 » State and history in operating systems |
152
click to vote
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
15 years 7 months ago
An important requirement of model transformations is the preservation of the behavior of the original model. A model transformation is semantically correct if for each simulation r...
155
click to vote
CIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Agent’s meta-reasoning is a computational process that implements agent’s capability to reason on a higher level about another agent or a community of agents. There i...
130
click to vote
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When an organization decides on the level of flexibility in handling business process instances, it needs to impose this level in operational practice. The way of imposing a given ...
139
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...