2004 search results - page 120 / 401 » Comparison of Model Checking Tools for Information Systems |
159
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In the business process management community, transformations for process models are usually programmed using imperative languages (such as Java). The underlying mapping ...
139
Voted
COLING
2002
15 years 4 months ago
2002
Natural languageprocessingNLP programsare confronted with various di culties in processing HTML and XML documents, and have the potential to produce better results if linguistic i...
155
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: Many classification approaches have been applied to analyzing transcriptional regulation of gene expressions. These methods build models that can explain a gene's...
156
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Candida albicans is a commonly encountered fungal pathogen in humans. The formation of biofilm is a major virulence factor in C. albicans pathogenesis and is related t...
139
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
For sometime now, Unified Modelling Language (UML) has been accepted as a standard for designing new systems. Its array of notations helps system designers to capture their ideas ...