1757 search results - page 173 / 352 » Integrating and Extending JCSP |
177
click to vote
ESAW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
137
click to vote
ESORICS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a generic formal security model for operating systems of multiapplicative smart cards. The model formalizes the main security aspects of secrecy, integrity, se...
155
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
124
Voted
RT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
132
click to vote
USM
2000
15 years 8 months ago
2000
In the real world there seem to be essential differences between shops, tourist offices, city halls, theatres and museums. However, when we try to design virtual environments allow...