108 search results - page 12 / 22 » A Provenance-Based Compliance Framework |
211
Voted
ICLP
2009
Springer
16 years 25 days 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...
109
Voted
NORMAS
2005
Springer
15 years 5 months 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
16 years 8 days 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...
116
Voted
WOA
2000
15 years 1 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
15 years 5 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...