Sciweavers

2265 search results - page 195 / 453
» On the Power of Local Orientations
Sort
View
UIST
2000
ACM
15 years 5 months ago
Sensing techniques for mobile interaction
We describe sensing techniques motivated by unique aspects of human-computer interaction with handheld devices in mobile settings. Special features of mobile interaction include c...
Ken Hinckley, Jeffrey S. Pierce, Mike Sinclair, Er...
MABS
1998
Springer
15 years 5 months ago
ABCDE: Agent Based Chaotic Dynamic Emergence
This paper concerns agent based experiments in the field of negotiation and exchange simulation. A computer simulation environment is built, showing the emergence of chaotic price ...
Pietro Terna
ECOOP
2006
Springer
15 years 4 months ago
Design-Based Pointcuts Robustness Against Software Evolution
Aspect-Oriented Programming (AOP) is a powerful technique to better modularize object-oriented programs by introducing crosscutting concerns in a safe and noninvasive way. Unfortu...
Walter Cazzola, Sonia Pini, Massimo Ancona
CONCURRENCY
2006
112views more  CONCURRENCY 2006»
15 years 24 days ago
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
Francisco Curbera, Rania Khalaf, William Nagy, San...
111
Voted
CORR
2006
Springer
95views Education» more  CORR 2006»
15 years 24 days ago
SAT Solving for Argument Filterings
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
Michael Codish, Peter Schneider-Kamp, Vitaly Lagoo...