Sciweavers

3168 search results - page 590 / 634
» Design, implementation and evaluation of a virtual storage s...
Sort
View
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
ADC
2009
Springer
113views Database» more  ADC 2009»
14 years 3 months ago
Ranking-Constrained Keyword Sequence Extraction from Web Documents
Given a large volume of Web documents, we consider problem of finding the shortest keyword sequences for each of the documents such that a keyword sequence can be rendered to a g...
Ding-Yi Chen, Xue Li, Jing Liu, Xia Chen
DSN
2007
IEEE
14 years 2 months ago
A Firewall for Routers: Protecting against Routing Misbehavior
In this work, we present the novel idea of route normalization by correcting on the fly routing traffic on behalf of a local router to protect the local network from malicious a...
Ying Zhang, Zhuoqing Morley Mao, Jia Wang
ATAL
2007
Springer
14 years 2 months ago
Realistic cognitive load modeling for enhancing shared mental models in human-agent collaboration
Human team members often develop shared expectations to predict each other’s needs and coordinate their behaviors. In this paper the concept “Shared Belief Map” is proposed ...
Xiaocong Fan, John Yen
CISSE
2007
Springer
14 years 2 months ago
Intuitive Interface for the Exploration of Volumetric Datasets
Conventional human-computer interfaces for the exploration of volume datasets employ the mouse as an input device. Specifying an oblique orientation for a crosssectional plane thr...
Rahul Sarkar, Chrishnika de Almeida, Noureen Syed,...