Sciweavers

4044 search results - page 690 / 809
» The Evolution of a Distributed Operating System
Sort
View
106
Voted
CSCW
1999
ACM
15 years 2 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 ...
113
Voted
CIKM
2010
Springer
15 years 1 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
116
Voted
IANDC
2010
125views more  IANDC 2010»
15 years 1 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
149
Voted
ASIAN
2009
Springer
269views Algorithms» more  ASIAN 2009»
15 years 16 days 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»
15 years 14 days 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...