3954 search results - page 391 / 791 » Image-based Model Completion |
123
Voted
TVLSI
2008
15 years 4 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
161
click to vote
CAD
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
138
click to vote
INTR
2007
15 years 4 months ago
2007
ed abstract Purpose: The purpose of this paper is to present a multi-faceted summary and classification of the existing literature in the field of quality of service for egovernmen...
134
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Building on the fact that descriptive frames are coalgebras for the Vietoris functor on the category of Stone spaces, we introduce and study the concept of a Vietoris bisimulation...
134
click to vote
SOCO
2010
Springer
15 years 3 months ago
2010
Springer
Witnesses and victims of serious crime are often required to construct a facial composite, a visual likeness of a suspect’s face. The traditional method is for them to select in...