97 search results - page 16 / 20 » A logic of reasoning, communication and cooperation with syn... |
IJACTAICIT
2010
13 years 5 months ago
2010
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
JAIR
2010
13 years 6 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
IEEESCC
2009
IEEE
14 years 2 months ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesā...
GIS
1995
ACM
13 years 11 months ago
1995
ACM
: Usually spatial planning problems involve a large number of decision makers with diļ¬erent backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously diļ¬cult and error-prone. Formal methods have shown their usefulness ...