834 search results - page 13 / 167 » Anaphora and the Logic of Change |
ASPDAC
2007
ACM
14 years 22 days ago
2007
ACM
In a realistic design flow, circuit and system optimizations must interact with physical aspects of the design. For example, improvements in timing and power may require replacing ...
ER
2008
Springer
13 years 10 months ago
2008
Springer
For various applications there is the need to compare the similarity between two process models. For example, given the as-is and to-be models of a particular business process, we ...
WETICE
2006
IEEE
14 years 2 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
LPNMR
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
ICSE
1993
IEEE-ACM
14 years 25 days ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...