149 search results - page 24 / 30 » Experiences with formal specification of fault-tolerant file... |
BMCBI
2004
13 years 7 months ago
2004
Background: Many proteomics initiatives require a seamless bioinformatics integration of a range of analytical steps between sample collection and systems modeling immediately ass...
ASE
2002
13 years 7 months ago
2002
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
BMCBI
2004
13 years 7 months ago
2004
Background: The increasing complexity of genomic data presents several challenges for biologists. Limited computer monitor views of data complexity and the dynamic nature of data ...
COMPSAC
2002
IEEE
14 years 14 days ago
2002
IEEE
Process-Centered Software Engineering Environments (PSEEs) deal with activities that demand limited resources. Characteristics about required resources and their dynamic availabili...
HICSS
1999
IEEE
13 years 11 months ago
1999
IEEE
Knowledge management is an increasingly important source of competitive advantage for organizations. Knowledge is a renewable, re-usable and accumulating asset of value to firms t...