Sciweavers

4212 search results - page 630 / 843
» Rights Expression Languages
Sort
View
NSDI
2007
15 years 8 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
CP
2008
Springer
15 years 8 months ago
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
ECBS
2008
IEEE
124views Hardware» more  ECBS 2008»
15 years 8 months ago
Hierarchical Model to Develop Component-Based Systems
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...
Abdelkrim Amirat, Mourad Oussalah
AAAI
2010
15 years 8 months ago
Lifting Rationality Assumptions in Binary Aggregation
We consider problems where several individuals each need to make a yes/no choice regarding a number of issues and these choices then need to be aggregated into a collective choice...
Umberto Grandi, Ulle Endriss
BNCOD
2007
104views Database» more  BNCOD 2007»
15 years 8 months ago
Integrity Checking and Maintenance with Active Rules in XML Databases
While specification languages for integrity constraints for XML data have been considered in the literature, actual technologies and methodologies for checking and maintaining in...
Henning Christiansen, Maria Rekouts