290 search results - page 30 / 58 » entcs 2006 |
89
Voted
ENTCS
2006
14 years 10 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
73
Voted
ENTCS
2006
14 years 10 months ago
2006
Sierpinski space is injective in the category Top of topological spaces, but not in any of the larger cartesian closed categories Conv of convergence spaces and Equ of equilogica...
ENTCS
2006
14 years 10 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
76
Voted
ENTCS
2006
14 years 10 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
ENTCS
2006
14 years 10 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...