Sciweavers

1664 search results - page 271 / 333
» Towards Partial Reasoning
Sort
View
SLE
2009
Springer
15 years 9 months ago
Multi-view Composition Language for Software Product Line Requirements
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
Mauricio Alférez, João Santos, Ana M...
CIKM
2001
Springer
15 years 9 months ago
The Effectiveness of Query Expansion for Distributed Information Retrieval
Query expansion has been shown effective for both single database retrieval and for distributed information retrieval where complete collection information is available. One might...
Paul Ogilvie, James P. Callan
FOSSACS
2001
Springer
15 years 9 months ago
On Garbage and Program Logic
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
Cristiano Calcagno, Peter W. O'Hearn
ACSAC
2000
IEEE
15 years 9 months ago
On Computer Viral Infection and the Effect of Immunization
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
Chenxi Wang, John C. Knight, Matthew C. Elder
AMAST
2000
Springer
15 years 8 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra