2705 search results - page 311 / 541 » Formal Ontology for Subject |
146
click to vote
UIST
2005
ACM
16 years 3 days 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...
147
click to vote
ATAL
2005
Springer
16 years 2 days 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...
177
click to vote
CCS
2005
ACM
16 years 2 days 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...
175
click to vote
EMSOFT
2005
Springer
16 years 2 days 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...
168
click to vote
ESOP
2005
Springer
16 years 2 days 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...