2775 search results - page 143 / 555 » Visualizing abstract events |
142
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
130
Voted
APN
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
153
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
173
Voted
MIR
2006
ACM
15 years 11 months ago
2006
ACM
Scalable approaches to video content classification are limited by an inability to automatically generate representations of events ode abstract temporal structure. This paper pre...
124
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
Timing diagrams are useful for capturing temporal specifications in which all mentioned events are required to occur. We first show that translating timing diagrams with both par...