Sciweavers

28 search results - page 2 / 6
» Specifying and Enforcing Intertask Dependencies
Sort
View
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 1 months ago
Matching Dependencies with Arbitrary Attribute Values: Semantics, Query Answering and Integrity Constraints
Matching dependencies (MDs) are used to declaratively specify the identification (or matching) of certain attribute values in pairs of database tuples when some similarity conditi...
Jaffer Gardezi, Leopoldo E. Bertossi, Iluju Kiring...
DEXA
2004
Springer
87views Database» more  DEXA 2004»
13 years 8 months ago
Ensuring Task Dependencies During Workflow Recovery
Abstract. Workflow management systems (WFMS) coordinate execution of multiple tasks performed by different entities within an organization. In order to coordinate the execution of ...
Indrakshi Ray, Tai Xin, Yajie Zhu
PERCOM
2006
ACM
14 years 4 months ago
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
Chetan Shiva Shankar, Roy H. Campbell
CSFW
2006
IEEE
13 years 10 months ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
POPL
1992
ACM
13 years 8 months ago
Semantic Foundations of Jade
Jade is a language designed to support coarse-grain parallelism on both shared and distributed addressspace machines. Jade is data-oriented: a Jade programmer simply augments a se...
Martin C. Rinard, Monica S. Lam