476 search results - page 73 / 96 » Higher-Precision Groundness Analysis |
SIGDOC
2004
ACM
15 years 3 months ago
2004
ACM
Software publishers and information service providers publish information about their own products and about other products and people. Additional content might be incidental, suc...
78
Voted
CAV
2004
Springer
15 years 3 months ago
2004
Springer
SAL 2 augments the specification language and explicit-state model checker of SAL 1 with high-performance symbolic and bounded model checkers, and with novel infinite bounded and...
HUC
2004
Springer
15 years 3 months ago
2004
Springer
The Active Bat system provides the ability to locate users and equipment with a high degree of accuracy and coverage. Despite this, participation is low. We are concerned that this...
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
EUROMICRO
2003
IEEE
15 years 2 months ago
2003
IEEE
Extreme programming (XP) is the most well known agile software development method. Many experience reports have been published in recent years. Successful XP adoptions have howeve...