108 search results - page 12 / 22 » A Provenance-Based Compliance Framework |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
NORMAS
2005
Springer
14 years 29 days ago
2005
Springer
In this paper, we argue that allowing self-interested agents to activate social institutions during run-time can improve the robustness (i.e., stability, cooperation or fairness) ...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
WOA
2000
13 years 8 months ago
2000
The Mobile Agent (MA) paradigm seems able to support effectively distributed applications in open and heterogeneous environments, and application areas such as ecommerce appear to...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...