4636 search results - page 675 / 928 » Modelling and Validation with VipTool |
170
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
113
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract-- We propose a method of correlating circuit performance with technology fluctuations during the circuit-design phase. The method employs test circuits sensitive for techn...
159
click to vote
INFOCOM
2000
IEEE
15 years 7 months ago
2000
IEEE
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
151
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
The 3D reconstruction of a face from a single frontal image is an ill-posed problem. This is further accentuated when the face image is captured under different poses and/or compl...
127
click to vote
WSC
2008
15 years 6 months ago
2008
Traditionally call centres were based on circuit-switched systems. But with the advancement of communication technologies, call centres have shifted to packet-switched systems. Th...