Sciweavers

805 search results - page 119 / 161
» On the Semantics of Conditional Commitment
Sort
View
AAAI
2008
15 years 6 months ago
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
Dmitry Shaparau, Marco Pistore, Paolo Traverso
CSFW
2008
IEEE
15 years 6 months ago
End-to-End Enforcement of Erasure and Declassification
Declassification occurs when the confidentiality of information is weakened; erasure occurs when the confidentiality of information is strengthened, perhaps to the point of comple...
Stephen Chong, Andrew C. Myers
DEXA
2008
Springer
98views Database» more  DEXA 2008»
15 years 6 months ago
REALM: Replication of Data for a Logical Group Based MANET Database
Abstract. Mobile Ad-Hoc Networks, or MANETs, provide communication between free-roaming mobile hosts without a fixed infrastructure. These MANETs operate under conditions of limite...
Anita Vallur, Le Gruenwald, Nick Hunter
GVD
2004
111views Database» more  GVD 2004»
15 years 5 months ago
Detecting Logical Errors in SQL Queries
Abstract. Checking the consistency of query conditions is an old problem, and there are already many proposed solutions. Since the problem is in general undecidable, there is not a...
Stefan Brass, Christian Goldberg
EPK
2006
132views Management» more  EPK 2006»
15 years 5 months ago
A Comparison of (e)EPCs and UML 2 Activity Diagrams
: In this paper, Event Process Chains (EPCs) and activity diagrams (ADs) of the Unified Modeling Language (UML) are compared with respect to (1) their syntax and its expressiveness...
Harald Störrle