3082 search results - page 289 / 617 » Deviation Analysis: A New Use of Model Checking |
164
click to vote
WSC
2008
15 years 9 months ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
214
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
219
click to vote
LCN
2008
IEEE
16 years 1 months ago
2008
IEEE
—Carrier Sense Multiple Access (CSMA) protocols in Multi-hop Wireless Networks (MHWN) are known to suffer from different forms of the hidden and exposed terminal problems, leadin...
177
click to vote
CVPR
2000
IEEE
16 years 8 months ago
2000
IEEE
A new method for real-time tracking of non-rigid objects seen from a moving camera is proposed. The central computational module is based on the mean shift iterations and nds the ...
160
click to vote
MASCOTS
2004
15 years 8 months ago
2004
It is known that the resources that limit the overall performance of the system are the congested ones, referred to as bottlenecks. From the knowledge of the bottleneck stations w...