Sciweavers

6719 search results - page 1055 / 1344
» A Generalization of Automatic Sequences
Sort
View
CCS
2004
ACM
16 years 24 days ago
Verifying policy-based security for web services
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
ERCIMDL
2004
Springer
113views Education» more  ERCIMDL 2004»
16 years 24 days ago
Incorporating Physical and Digital Artifacts into Growing Personal Collections
We have produced a system that automatically incorporates syndicated materials from sources including library acquisition records and online news sites to form growing hypertextual...
Pratik Dave, Luis Francisco-Revilla, Unmil Karadka...
EUSAI
2004
Springer
16 years 24 days ago
Towards an Extensible Context Ontology for Ambient Intelligence
Abstract. To realise an Ambient Intelligence environment, it is paramount that applications can dispose of information about the context in which they operate, preferably in a very...
Davy Preuveneers, Jan Van den Bergh, Dennis Wagela...
EWCBR
2004
Springer
16 years 24 days ago
Dynamic Critiquing
Abstract. Critiquing is a powerful style of feedback for case-based recommender systems. Instead of providing detailed feature values, users indicate a directional preference for a...
James Reilly, Kevin McCarthy, Lorraine McGinty, Ba...
FPGA
2004
ACM
120views FPGA» more  FPGA 2004»
16 years 24 days ago
Flexibility measurement of domain-specific reconfigurable hardware
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
Katherine Compton, Scott Hauck
« Prev « First page 1055 / 1344 Last » Next »