2018 search results - page 228 / 404 » On Conceptualization as a Systematic Process |
FSKD
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. To investigate the structure of the genomic interaction network built from yeast gene-expression compendium dataset of hundreds of systematic perturbations, social affili...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
The next ten years will see distributed real-time computer systems replacing many mechanical and hydraulic control systems in high-dependability applications. In these application...
WCRE
1995
IEEE
14 years 1 months ago
1995
IEEE
This paper describes how a program called dup can be used to locate instances of duplication or nearduplication in a software system. D u p reports both textually identical sectio...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...