Sciweavers

17471 search results - page 3065 / 3495
» Information Modeling
Sort
View
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
16 years 6 days ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
CC
2004
Springer
110views System Software» more  CC 2004»
16 years 6 days ago
Pruning Interference and Ready Dependence for Slicing Concurrent Java Programs
In this paper, we show how previous work on escape analysis can be adapted and extended to yield a static analysis that is efficient yet effective for reducing the number of inter...
Venkatesh Prasad Ranganath, John Hatcliff
CIKM
2004
Springer
16 years 6 days ago
Evaluating window joins over punctuated streams
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
Luping Ding, Elke A. Rundensteiner
CIVR
2004
Springer
169views Image Analysis» more  CIVR 2004»
16 years 6 days ago
The CIMWOS Multimedia Indexing System
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
Harris Papageorgiou, Athanassios Protopapas
199
Voted
COORDINATION
2004
Springer
16 years 6 days ago
Using Coordination Middleware for Location-Aware Computing: A Lime Case Study
Abstract. The decoupling between behavior and communication fostered by coordination becomes of paramount importance in mobile computing. In this scenario, however, coordination te...
Amy L. Murphy, Gian Pietro Picco
« Prev « First page 3065 / 3495 Last » Next »