6656 search results - page 48 / 1332 » Change, Change, Change: Three Approaches |
172
click to vote
AAAI
1994
15 years 7 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
165
click to vote
IADIS
2004
15 years 7 months ago
2004
This paper focuses on the information management systems of the dynamic World Wide Web. Many individual web pages, such as news portals, provide periodic information and public an...
147
click to vote
CMOT
2007
15 years 6 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
250
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
144
click to vote
KBSE
2008
IEEE
16 years 15 days ago
2008
IEEE
The reasons why software is changed are manyfold; new features are added, bugs have to be fixed, or the consistency of coding rules has to be re-established. Since there are many...