1929 search results - page 99 / 386 » Change Propagation Analysis Using Domain Information |
144
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
115
click to vote
CGO
2005
IEEE
15 years 9 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
141
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
The specific organization used by a multi-agent system is crucial for its effectiveness and efficiency. In dynamic environments, or when the objectives of the system shift, the ...
117
Voted
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
129
Voted
CONTEXT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The paper proposes a dialectic approach to exploit discrepancies of viewpoints for learning. The approach is illustrated with an elaborated example. A computational frame...