4209 search results - page 85 / 842 » Abstract Dialectical Frameworks |
190
click to vote
AUTONOMICS
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
151
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...
147
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
127
click to vote
ISPW
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. Software development processes are often not explicitly modelled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use So...
126
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...