805 search results - page 70 / 161 » On the Semantics of Conditional Commitment |
GG
2008
Springer
2008
Springer
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
15 years 29 days 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...
102
click to vote
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
POLICY
2007
Springer
15 years 6 months ago
2007
Springer
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
DASFAA
2004
IEEE
15 years 3 months ago
2004
IEEE
Information and communication infrastructures underwent a rapid and extreme decentralization process over the past decade: From a world of statically and partially connected centra...