Sciweavers

790 search results - page 100 / 158
» Designated Confirmer Signatures
Sort
View
145
Voted
DALT
2004
Springer
15 years 7 months ago
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
L. Robert Pokorny, C. R. Ramakrishnan
144
Voted
CASES
2006
ACM
15 years 7 months ago
Power efficient branch prediction through early identification of branch addresses
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
Chengmo Yang, Alex Orailoglu
DSVIS
2006
Springer
15 years 7 months ago
Analysis of Pointing Tasks on a White Board
We study the variations in two dimensional (2D) pointing tasks on a traditional white board of a group of subjects by means of capturing their movement traces in an automatic way w...
Giorgio P. Faconti, Mieke Massink
146
Voted
ER
2006
Springer
137views Database» more  ER 2006»
15 years 7 months ago
Preference Functional Dependencies for Managing Choices
Abstract. The notion of user preference in database modeling has recently received much attention in advanced applications, such as personalization of e-services, since it captures...
Wilfred Ng
EUROPAR
2006
Springer
15 years 7 months ago
Hierarchical Model Validation of Symbolic Performance Models of Scientific Kernels
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
Sadaf R. Alam, Jeffrey S. Vetter