7580 search results - page 1025 / 1516 » Prometheus design tool |
179
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
139
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
This paper discusses the obstacles that stand in the way of doing a good job of machine-code analysis. Compared with analysis of source code, the challenge is to drop all assumptio...
161
click to vote
GRAPHITE
2007
ACM
15 years 10 months ago
2007
ACM
: Communicating the ethos of a subject (e.g. a brand or cultural or historical narrative) within an environment, such as a museum or visitor centre, is often undermined by the poor...
185
click to vote
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we consider the energy-efficient resource allocation that minimizes a general cost function of average user powers in wireless networks. A class of so-called -fair c...
162
click to vote
CSMR
2004
IEEE
15 years 10 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...