1775 search results - page 81 / 355 » Antichains on Three Levels |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Dynamical systems theory is used here as a theoretical language and tool to design a distributed control archictecture that generates navigation in formation, integrated with obst...
CSCWD
2009
Springer
15 years 2 months ago
2009
Springer
Aiming at deficiencies of existing knowledge resources management systems, we designed a new collaborative knowledge construction system for massive knowledge resources. By collab...
PAAMS
2009
Springer
15 years 2 months ago
2009
Springer
Interconnected service providers constitute a highly dynamic, complex, distributed environment. Multi-agent system design-methodologies have been trying to address this kind of env...
AIME
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper describes an integrated system to support medical consultations, in particular low vision consultation. In emerging domains where the population is reduced (su...