Sciweavers

4044 search results - page 690 / 809
» The Evolution of a Distributed Operating System
Sort
View
CSCW
1999
ACM
14 years 9 months ago
Voice Loops as Coordination Aids in Space Shuttle Mission Control
Voice loops, an auditory groupware technology, are essential coordination support tools for experienced practitioners in domains such as air traffic management, aircraft carrier o...
Emily S. Patterson, Jennifer Watts-Perotti, David ...
CIKM
2010
Springer
14 years 8 months ago
Query optimization for ontology-based information integration
In recent years, there has been an explosion of publicly available RDF and OWL data sources. In order to effectively and quickly answer queries in such an environment, we present...
Yingjie Li, Jeff Heflin
IANDC
2010
125views more  IANDC 2010»
14 years 8 months ago
Continuation semantics for the Lambek-Grishin calculus
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
Raffaella Bernardi, Michael Moortgat
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
14 years 8 months ago
Noninterference with Dynamic Security Domains and Policies
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
Robert Grabowski, Lennart Beringer
ICC
2009
IEEE
136views Communications» more  ICC 2009»
14 years 8 months ago
Dimensioning of a Multi-Rate Network Transporting Variable Bit Rate TV Channels
We consider a centralised (client-server) digital TV network with heterogeneous receiver devices of different resolutions, requiring a multi-rate transport system. There exist two ...
Zlatka Avramova, Sabine Wittevrongel, Herwig Brune...