11022 search results - page 21 / 2205 » Programming Systems for Autonomy |
CAEPIA
2003
Springer
14 years 28 days ago
2003
Springer
Nowadays, there is a need for smart learning environments that offer personal services with capabilities to learn, reason, have autonomy and be totally dynamic. In this paper, we p...
ACSAC
1999
IEEE
14 years 1 days ago
1999
IEEE
Coordinating security policies in information enclaves is challenging due to their heterogeneity and autonomy. Administrators must reconcile the semantic diversity of data and sec...
TKDE
2002
13 years 7 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...
DALT
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other m...
MSO
2003
13 years 9 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...