Sciweavers

4126 search results - page 683 / 826
» Relationships with other Formalisms
Sort
View
PVLDB
2008
132views more  PVLDB 2008»
15 years 5 months ago
Access control over uncertain data
Access control is the problem of regulating access to secret information based on certain context information. In traditional applications, context information is known exactly, p...
Vibhor Rastogi, Dan Suciu, Evan Welbourne
ER
2010
Springer
135views Database» more  ER 2010»
15 years 5 months ago
Adaptation in Open Systems: Giving Interaction Its Rightful Place
Abstract. We address the challenge of adaptation in open systems. Open systems are characterized by interactions among autonomous and heterogeneous participants. In such systems, e...
Fabiano Dalpiaz, Amit K. Chopra, Paolo Giorgini, J...
ICST
2010
IEEE
15 years 4 months ago
Precisely Detecting Runtime Change Interactions for Evolving Software
Abstract—Developers often make multiple changes to software. These changes are introduced to work cooperatively or to accomplish separate goals. However, changes might not intera...
Raúl A. Santelices, Mary Jean Harrold, Ales...
JLP
2008
121views more  JLP 2008»
15 years 4 months ago
A process algebraic view of shared dataspace coordination
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
Nadia Busi, Gianluigi Zavattaro
IJAR
2010
91views more  IJAR 2010»
15 years 4 months ago
Inference and risk measurement with the pari-mutuel model
We explore generalizations of the pari-mutuel model (PMM), a formalization of an intuitive way of assessing an upper probability from a precise one. We discuss a naive extension o...
Renato Pelessoni, Paolo Vicig, Marco Zaffalon