827 search results - page 41 / 166 » Patterns for Timed Property Specifications |
112
click to vote
TITB
2008
15 years 1 months ago
2008
In this paper, we propose a physics-based and physiology-based approach for modeling real-time deformations of 3-D high-resolution polygonal lung models obtained from highresolutio...
114
click to vote
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
114
click to vote
HYBRID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
113
Voted
ITC
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents a logic synthesis tool called BETSY (BIST Environment Testable Synthesis) for synthesizing circuits that achieve complete (100%)fault coverage in a user specif...
166
click to vote
ESEM
2010
ACM
15 years 2 months ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...