Sciweavers

2542 search results - page 166 / 509
» An Operational Definition of Context
Sort
View
CONCUR
2008
Springer
15 years 8 months ago
A Notion of Glue Expressiveness for Component-Based Systems
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
Simon Bliudze, Joseph Sifakis
EUROSYS
2007
ACM
16 years 3 months ago
Authorizing applications in singularity
We describe a new design for authorization in operating systems in which applications are first-class entities. In this design, principals reflect application identities. Access c...
Ted Wobber, Aydan R. Yumerefendi, Martín Ab...
159
Voted
EDBT
2009
ACM
85views Database» more  EDBT 2009»
16 years 1 months ago
Recursion in XQuery: put your distributivity safety belt on
We introduce a controlled form of recursion in XQuery, an inflationary fixed point operator, familiar from the context of relational databases. This operator imposes restriction...
Loredana Afanasiev, Torsten Grust, Maarten Marx, J...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 11 months ago
Feedback interconnection of open quantum systems: A small gain theorem
Abstract— This paper examines the stability of quantum feedback networks. We introduce a novel characterization, in terms of equivalence classes of operators, that may be used to...
Ram Abhinav Somaraju, Ian R. Petersen
USENIX
2003
15 years 8 months ago
A Multi-User Virtual Machine
Recent efforts aimed at improving the scalability of the JavaTM platform have focused primarily on the safe collocation of multiple applications in the virtual machine. This is of...
Grzegorz Czajkowski, Laurent Daynès, Ben Ti...