3765 search results - page 512 / 753 » Formal Methods for Systems Engineering Behavior Models |
235
click to vote
PAMI
2012
13 years 9 months ago
2012
—In this paper, we propose a novel framework to estimate the parameters of a diffeomorphism that aligns a known shape and its distorted observation. Classical registration method...
180
click to vote
ICCAD
2002
IEEE
15 years 11 months ago
2002
IEEE
Numerous approaches have been proposed to address the overwhelming modeling problems that result from the emergence of magnetic coupling as a dominant performance factor for ICs a...
233
click to vote
ESEM
2010
ACM
15 years 6 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...
179
click to vote
RTCSA
2005
IEEE
16 years 6 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
156
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Message Sequence Charts (MSCs) is a notation used in practice by protocol designers and system engineers. It is defined within an international standard (ITU Z120), and is also i...