830 search results - page 69 / 166 » Planning as an architectural control mechanism |
95
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
118
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
CEEMAS
2005
Springer
15 years 6 months ago
2005
Springer
Underwater survey by a team of autonomous robots brings couple of problems caused mainly by the communication restrictions due to the nature of environment. Communication range and...
91
Voted
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Efficient support of multicast traffic in Storage Area Networks (SANs) enables applications such as remote data replication and distributed multimedia systems, in which a ser...
149
click to vote
SACMAT
2011
ACM
14 years 3 months ago
2011
ACM
Cross domain resource sharing and collaborations have become pervasive in today’s service oriented organizations. Existing approaches for the realization of cross domain access ...