2705 search results - page 311 / 541 » Formal Ontology for Subject |
88
Voted
UIST
2005
ACM
15 years 6 months ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
85
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
105
Voted
CCS
2005
ACM
15 years 6 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
116
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
108
click to vote
ESOP
2005
Springer
15 years 6 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...