Sciweavers

1302 search results - page 216 / 261
» Soundness in the Public-Key Model
Sort
View
CHI
2006
ACM
16 years 7 days ago
Interaction in creative tasks
The design of tools for creative activities affects the creative processes and output of users. In this paper we consider how an understanding of creative interaction can inform t...
Tim Coughlan, Peter Johnson
HPCA
2003
IEEE
16 years 6 days ago
A Statistically Rigorous Approach for Improving Simulation Methodology
Due to cost, time, and flexibility constraints, simulators are often used to explore the design space when developing a new processor architecture, as well as when evaluating the ...
Joshua J. Yi, David J. Lilja, Douglas M. Hawkins
CADE
2008
Springer
16 years 4 days ago
Automated Induction with Constrained Tree Automata
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Adel Bouhoula, Florent Jacquemard
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
15 years 12 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
ICWS
2009
IEEE
15 years 9 months ago
An Approach to Incentive-Based Reputation for Communities of Web Services
—Community of web services (CWS) is a society composed by a number of functionally identical web services. The communities always aim to increase their reputation level in order ...
Babak Khosravifar, Jamal Bentahar, Philippe Thiran...