2002 search results - page 255 / 401 » Interactive technical illustration |
95
Voted
ATAL
2004
Springer
15 years 4 months ago
2004
Springer
As planning agents grow more sophisticated, issues of plan representation arise alongside concerns with plan generation. Planning methods work over increasingly large and difficul...
103
Voted
AUIC
2004
IEEE
15 years 4 months ago
2004
IEEE
Pervasive technologies are increasingly being developed and used outdoors in different and innovative ways. However, designing user experiences for outdoor environments presents m...
93
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
The DEFACTO system is a multiagent based tool for training incident commanders for large scale disasters. In this paper, we highlight some of the lessons that we have learned from...
110
Voted
FORMATS
2004
Springer
15 years 4 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
116
click to vote
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...