368 search results - page 31 / 74 » The Role of Verification in Interactive Systems Design |
AVI
2006
13 years 9 months ago
2006
Tables have historically played a key role in many real-time collaborative environments, often referred to as "war rooms". Today, these environments have been transforme...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Service-based systems engineering is a recent paradigm that has proven useful for the development of multifunctional systems, whose functions may be used in different contexts and...
FLOPS
2006
Springer
13 years 11 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
MMAS
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...