3104 search results - page 124 / 621 » Using quantitative analysis to implement autonomic IT system... |
127
click to vote
IJCAI
2007
15 years 5 months ago
2007
Typically, autonomous believable agents are implemented using static, hand-authored reactive behaviors or scripts. This hand-authoring allows designers to craft expressive behavio...
157
click to vote
BMCBI
2002
15 years 3 months ago
2002
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
119
Voted
IWSEC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...
124
Voted
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
163
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...