377 search results - page 40 / 76 » Towards Alternative Approaches to Reasoning About Goals |
EWSPT
2001
Springer
14 years 3 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
JUCS
2008
13 years 10 months ago
2008
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
GW
2005
Springer
14 years 4 months ago
2005
Springer
In modern society there is an increasing demand to access, record and manipulate large amounts of information. This has inspired a new approach to thinking about and designing pers...
SEFM
2005
IEEE
14 years 4 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
ICLP
2005
Springer
14 years 4 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...