403 search results - page 13 / 81 » Integrating Z into Large Projects Tools and Techniques |
IUSED
2008
14 years 11 months ago
2008
Permanent involvement of end users in software development is both highly recommended and highly challenging. Against the background of our results and experiences from two resear...
81
Voted
BMCBI
2008
14 years 9 months ago
2008
Background: Current sequencing technologies give access to sequence information for genomes and metagenomes at a tremendous speed. Subsequent data processing is mainly performed b...
ENTCS
2006
14 years 9 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
IV
2005
IEEE
15 years 3 months ago
2005
IEEE
Dealing with temporal uncertainties is a key issue in domains like project management or medical treatment planning. However, support for temporal indeterminacies is not very well...
SIGOPS
2010
14 years 7 months ago
2010
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...