10038 search results - page 1651 / 2008 » Model Checking for Managers |
268
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
Over recent years there has been increased level of discussion on utility pricing for software. The focus of these discussions is to create new operating cost models where the unit...
277
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
Due to rapid growth of the Internet technology and new scientific/technological advances, the number of applications that model data as graphs increases, because graphs have high e...
177
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The effect of crosstalk errors is most significant in highperformance circuits, mandating at-speed testing for crosstalk defects. This paper describes a self-test methodology that...
180
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Name ambiguity problem has been a challenging issue for a long history. In this paper, we intend to make a thorough investigation of the whole problem. Specifically, we formalize ...
179
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we propose an approach to automatically mine event evolution graphs from newswires on the Web. Event evolution graph is a directed graph in which the vertices and e...