3358 search results - page 529 / 672 » Dynamic Description Logics |
FPGA
2010
ACM
15 years 9 months ago
2010
ACM
Electronic systems increasingly suffer from component variation, thermal hotspots, uneven wearout, and other subtle physical phenomena. Systems based on FPGAs have unique opportun...
TASE
2008
IEEE
15 years 7 months ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
112
Voted
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
138
click to vote
ACSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
103
Voted
DATE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...