1912 search results - page 145 / 383 » On the evaluation of argumentation formalisms |
165
click to vote
DRM
2007
Springer
16 years 19 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
186
click to vote
ICECCS
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract—Transactional Memory (TM) is a promising technique that addresses the difficulty of parallel programming. Since TM takes responsibility for all concurrency control, TM ...
349
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
188
click to vote
RSP
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
200
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...