1110 search results - page 86 / 222 » An Intelligent Lessons Learned Process |
AGENTS
2001
Springer
14 years 2 months ago
2001
Springer
Massive amounts of raw data are currently being generated by biologists while sequencing organisms. Outside of the largest, high-pro le projects such as the Human Genome Project, ...
TOOLS
2000
IEEE
14 years 2 months ago
2000
IEEE
In this experience report we present a case study in designing, implementing, and reusing an object-oriented framework for constructing and editing complex search expressions over...
ICMCS
1999
IEEE
14 years 2 months ago
1999
IEEE
At Wellesley College very rarely do the Fine Art and Computer Science faculty cross paths. That was the case until two years ago when we taught an experimental course that brought...
HICSS
1998
IEEE
14 years 2 months ago
1998
IEEE
A review of the various models of New Product Development (NPD) process shows that although different approaches have been proposed, they are in fact all variants on a linear them...
CAV
1998
Springer
14 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...