1536 search results - page 129 / 308 » The Underlying Logic of Hoare Logic |
174
click to vote
FSKD
2007
Springer
16 years 15 days ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...
170
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Negative bias temperature instability (NBTI) in MOSFETs is one of the major reliability challenges in nano-scale technology. This paper presents an efficient technique to characte...
175
click to vote
BROADNETS
2007
IEEE
16 years 21 days ago
2007
IEEE
— Network dimensioning for wavelength-routed WDM networks has been extensively studied to maximize connection acceptance rate while minimizing the total cost. However, Internet s...
152
click to vote
QEST
2007
IEEE
16 years 19 days ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
209
click to vote
ISKI
1994
15 years 10 months ago
1994
This paper aims at integrating techniques of non-monotonic reasoning about updates and of object-oriented specification of information systems. We present how to utilize defaults i...