Sciweavers

58 search results - page 7 / 12
» fuin 2008
Sort
View
FUIN
2008
93views more  FUIN 2008»
14 years 9 months ago
Logic-based Conflict Detection for Distributed Policies
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
Carlo Montangero, Stephan Reiff-Marganiec, Laura S...
FUIN
2008
88views more  FUIN 2008»
14 years 9 months ago
Preferential Regular Path Queries
In this paper, we introduce preferential regular path queries. These are regular path queries whose symbols are annotated with preference weights for "scaling" up or down...
Gösta Grahne, Alex Thomo, William W. Wadge
77
Voted
FUIN
2008
71views more  FUIN 2008»
14 years 9 months ago
Nonterminal Complexity of Some Operations on Context-Free Languages
: We investigate context-free languages with respect to the measure Var of descriptional complexity, which gives the minimal number of nonterminals which is necessary to generate t...
Jürgen Dassow, Ralf Stiebe
FUIN
2008
76views more  FUIN 2008»
14 years 9 months ago
Prescribed Learning of Indexed Families
Abstract. This work extends studies of Angluin, Lange and Zeugmann on how learnability of a language class depends on the hypothesis space used by the learner. While previous studi...
Sanjay Jain, Frank Stephan, Nan Ye
FUIN
2008
89views more  FUIN 2008»
14 years 9 months ago
A Foundational Theory of Contracts for Multi-party Service Composition
Abstract. In the context of Service Oriented Computing, contracts are descriptions of the observable message-passing behavior of services. Contracts have been already successfully ...
Mario Bravetti, Gianluigi Zavattaro