2599 search results - page 296 / 520 » A Tool for Supporting Feature-Driven Development |
123
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes the VIRGIL (Virtual Meeting Archival) system which was developed to provide a simple, practical, easy-to-use method for recording, indexing and archiving large...
133
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
125
click to vote
ATAL
2001
Springer
15 years 9 months ago
2001
Springer
The recent development of software platforms for cell phones and handheld computers, such as Java 2 Micro Edition (J2ME), has broadened application perspectives in this area. In fa...
125
click to vote
JSAI
2001
Springer
15 years 9 months ago
2001
Springer
The importance of public engagement and awareness concerning environmental issues has been widely recognised in the development of a sustainable community. Recent efforts by author...
140
click to vote
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...