8009 search results - page 344 / 1602 » cans 2005 |
161
click to vote
VL
2005
IEEE
16 years 9 days ago
2005
IEEE
Large software projects often require a programmer to make changes to unfamiliar source code. This paper describes a set of tools, called Team Tracks, designed to ease program com...
178
click to vote
WORDS
2005
IEEE
16 years 9 days ago
2005
IEEE
We have previously presented initial results of a case study which illustrated an approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour ...
182
click to vote
ATVA
2005
Springer
16 years 9 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
177
click to vote
CAISE
2005
Springer
16 years 8 days ago
2005
Springer
Integrity checking is aimed at efficiently determining whether the state of the information base is consistent after the application of a set of structural events. One possible way...
163
click to vote
EUC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We have presented an optimal algorithm for minimal cost loop problem (MCLP), which consists of finding a set of minimum cost loops rooted at a source node. In the MCLP, t...