1021 search results - page 161 / 205 » Concepts in Proof Planning |
CAISE
2009
Springer
14 years 4 months ago
2009
Springer
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
ESAW
2009
Springer
14 years 4 months ago
2009
Springer
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
AGILEDC
2007
IEEE
14 years 4 months ago
2007
IEEE
This report examines how the VeriSign Managed Security Services team (MSS) has successfully extended agile software development practices to deal with a complex, multi-product dev...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
EUSAI
2007
Springer
14 years 4 months ago
2007
Springer
In this paper we present concepts for and experiences with a Situated Public Display system deployed in a university setting. We identify the rate with which information is updated...