Sciweavers

1759 search results - page 258 / 352
» Overview of Generative Software Development
Sort
View
EMSOFT
2008
Springer
15 years 2 months ago
Quantitative testing
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
Henrik C. Bohnenkamp, Mariëlle Stoelinga
93
Voted
BMCBI
2007
151views more  BMCBI 2007»
15 years 23 days ago
Minimus: a fast, lightweight genome assembler
Background: Genome assemblers have grown very large and complex in response to the need for algorithms to handle the challenges of large whole-genome sequencing projects. Many of ...
Daniel D. Sommer, Arthur L. Delcher, Steven L. Sal...
SADFE
2009
IEEE
15 years 7 months ago
Automating Disk Forensic Processing with SleuthKit, XML and Python
We have developed a program called fiwalk which produces detailed XML describing all of the partitions and files on a hard drive or disk image, as well as any extractable metadat...
Simson L. Garfinkel
97
Voted
SFM
2009
Springer
143views Formal Methods» more  SFM 2009»
15 years 7 months ago
Service Interaction: Patterns, Formalization, and Analysis
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
Wil M. P. van der Aalst, Arjan J. Mooij, Christian...
120
Voted
ACSAC
2007
IEEE
15 years 7 months ago
Extending the Java Virtual Machine to Enforce Fine-Grained Security Policies in Mobile Devices
The growth of the applications and services market for mobile devices is currently slowed down by the lack of a flexible and reliable security infrastructure. The development and...
Iulia Ion, Boris Dragovic, Bruno Crispo