2917 search results - page 421 / 584 » Satisfying Interaction Constraints |
129
click to vote
COMPGEOM
2004
ACM
15 years 10 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
133
click to vote
CW
2003
IEEE
15 years 10 months ago
2003
IEEE
With the development of new instruments as telecommunication, teleoperation, computer representation tools, human beings are commonly in situation to perceive and act on spaces th...
118
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
TAC-02 was the third in a series of Trading Agent Competition events fostering research in automating trading strategies by showcasing alternate approaches in an open-invitation m...
158
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
177
click to vote
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...