1090 search results - page 161 / 218 » Type-Directed Partial Evaluation |
DESRIST
2009
Springer
14 years 3 months ago
2009
Springer
Against the background of the current financial crisis and an aftermath of increasing regulation, companies enhance and integrate information systems in the areas of risk manageme...
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
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...
CHARME
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
NLPRS
2001
Springer
14 years 2 months ago
2001
Springer
This paper presents an empirical study for improving the performance of text chunking. We focus on two issues: the problem of selecting feature spaces, and the problem of alleviat...