Sciweavers

606 search results - page 27 / 122
» Library Miniaturization Using Static and Dynamic Information
Sort
View
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
13 years 11 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
CHI
1998
ACM
13 years 11 months ago
Hi-Cites: Dynamically Created Citations with Active Highlighting
The original SenseMaker interface for information exploration [2] used tables to present heterogeneous document descriptions. In contrast, printed bibliographies and World Wide We...
Michelle Q. Wang Baldonado, Terry Winograd
EGC
2005
Springer
14 years 1 months ago
Ticket-Based Grid Services Architecture for Dynamic Virtual Organizations
A Virtual Organization (VO) in the Grid is a collection of users and distributed resources, in which resources are shared by users. VOs are dynamically created for some goals and t...
Byung Joon Kim, Kyong Hoon Kim, Sung Je Hong, Jong...
ECAI
2004
Springer
14 years 28 days ago
Introducing Alias Information into Model-Based Debugging
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
Daniel Köb, Franz Wotawa
CVPR
2010
IEEE
14 years 3 months ago
Super-Resolution of Range Data in Dynamic Environments Using a Gaussian Framework
We present a flexible method for fusing information from optical and range sensors based on an accelerated highdimensional filtering approach. Our system takes as input a sequen...
Jennifer Dolson, Jongmin Baek, Christian Plagemann...