1760 search results - page 275 / 352 » Program Analysis Using Weighted Pushdown Systems |
DLOG
2006
13 years 11 months ago
2006
Abstract. Model checking is a fully automated technique for determining whether the behaviour of a finite-state reactive system satisfies a temporal logic specification. Despite th...
GRID
2006
Springer
13 years 10 months ago
2006
Springer
Although grid computing offers great potential for executing large-scale bioinformatics applications, practical deployment is constrained by legacy interfaces. Most widely deployed...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
Vulnerability discovery rates need to be taken into account for evaluating security risks. Accurate projection of these rates is required to estimate the effort needed to develop ...
CSCW
2006
ACM
13 years 12 months ago
2006
ACM
Code management systems like Concurrent Version System (CVS) can play an important role in supporting coordination in software development, but often at some time removed from ori...
AVI
2004
13 years 11 months ago
2004
The continuing trend toward greater processing power, larger storage, and in particular increased display surface by using multiple monitor supports increased multi-tasking by the...