Sciweavers

1050 search results - page 153 / 210
» The problem with rights expression languages
Sort
View
COORDINATION
2006
Springer
15 years 10 months ago
A WSDL-Based Type System for WS-BPEL
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
FOSSACS
2006
Springer
15 years 10 months ago
Smooth Orchestrators
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
Cosimo Laneve, Luca Padovani
ICCS
2000
Springer
15 years 10 months ago
Conventions and Notations for Knowledge Representation and Retrieval
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
Philippe Martin
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...
AAAI
2010
15 years 7 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