4036 search results - page 694 / 808 » Formal Methods |
150
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
121
click to vote
ESWS
2007
Springer
16 years 16 days ago
2007
Springer
The media play an important role in the functioning of our society. This role is extensively studied by Communication Scientists, requiring a systematic analysis of media content. ...
173
click to vote
HPCC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. CAN is a famous structured peer-to-peer network based on ddimensional torus topology with constant degree and logarithmical diameter, but suffers from poor scalability wh...
190
click to vote
KI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
172
click to vote
ACSAC
2006
IEEE
16 years 13 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...