488 search results - page 88 / 98 » On the Formal Generation of Process Redesigns |
AIPS
2003
13 years 10 months ago
2003
As genomic and proteomic data is collected from highthroughput methods on a daily basis, subcellular components are identified and their in vitro behavior is characterized. Howev...
CERA
2002
13 years 8 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
HIKM
2006
ACM
14 years 2 months ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...
ENTCS
2007
13 years 8 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...