2004 search results - page 373 / 401 » Comparison of Model Checking Tools for Information Systems |
GIL
2009
14 years 9 months ago
2009
Abstract: We have surveyed three molecular biology labs in Germany and Vietnam to evaluate practical problems in the management of molecular genetics data. These labs are generatin...
121
click to vote
RECOMB
2007
Springer
15 years 5 months ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...
113
click to vote
ICSOC
2004
Springer
15 years 5 months ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
102
click to vote
GPCE
2009
Springer
15 years 4 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
ACL
1998
15 years 1 months ago
1998
In this paper, we report on an effort to provide a general-purpose spoken language generation tool for Concept-to-Speech (CTS) applications by extending a widely used text generat...