374 search results - page 33 / 75 » Deployment automation with BLITZ |
AAAI
1997
13 years 10 months ago
1997
Mixed-initiative planning envisions a framework in which automated and human planners interact to jointly construct plans that satisfy specific objectives. In this paper, we repo...
USS
2008
13 years 11 months ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...
COMSWARE
2007
IEEE
14 years 3 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
The user-centric service creation paradigm set out in Web 2.0 technologies on the Internet allows users to define and share their new content and applications. Open services and in...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
Field biologists use animal sounds to discover the presence of individuals and to study their behavior. The recent development of new deployable acoustic sensor platforms presents...