Sciweavers

516 search results - page 81 / 104
» Open Multi-agent Systems: Agent Communication and Integratio...
Sort
View
SAC
2000
ACM
15 years 2 months ago
The Mobile Agent Technology to Support and to Access Museum Information
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
Paolo Bellavista, Antonio Corradi, Andrea Tomasi
75
Voted
ATAL
2003
Springer
15 years 1 months ago
A configurable mobile agent data protection protocol
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
Paolo Maggi, Riccardo Sisto
AAMAS
1999
Springer
14 years 9 months ago
An Agent Framework for Intranet Document Management
Document management inside an organization is a complex and broadly scoped problem. This paper approaches the technical and social issues of Intranet document management by develop...
Mark Ginsburg
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
15 years 2 months ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
HCI
2001
14 years 11 months ago
Bringing gaze-based interaction back to basics
This paper argues for a joint development of an eye gaze -based, on-line communication aid running on a standard PC with a web -camera. Tracking software is to be provided as open...
John Paulin Hansen, Dan Witzner Hansen, Anders Sew...