2917 search results - page 421 / 584 » Satisfying Interaction Constraints |
169
Voted
COMPGEOM
2004
ACM
16 years 14 days 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...
163
Voted
CW
2003
IEEE
16 years 10 days 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...
156
Voted
ATAL
2003
Springer
16 years 8 days 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...
229
click to vote
CCS
2003
ACM
16 years 8 days 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...
219
Voted
CONCUR
2003
Springer
16 years 8 days 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...