Sciweavers

1954 search results - page 282 / 391
» A requirements analysis for videogame design support tools
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Granularity in software product lines
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
Christian Kästner, Martin Kuhlemann, Sven Ape...
ERCIMDL
2007
Springer
84views Education» more  ERCIMDL 2007»
16 years 17 days ago
VIRGIL - Providing Institutional Access to a Repository of Access Grid Sessions
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...
Ron Chernich, Jane Hunter, Alex Davies
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 12 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
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...
Robby, Matthew B. Dwyer, John Hatcliff
SEKE
2005
Springer
15 years 12 months ago
Modelling Agent Knowledge with Business Rules
Multi-agent systems have become increasingly mature, but their appearance does not make the traditional OO approach obsolete. On the contrary, OO methodologies can benefit from th...
Liang Xiao 0002, Des Greer
ECOOP
2007
Springer
15 years 10 months ago
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden
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...
Patrice Chalin, Perry R. James