615 search results - page 104 / 123 » Completeness of Combinations of Constructor Systems |
UML
2005
Springer
14 years 2 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
FSKD
2006
Springer
14 years 9 days ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...
DELOS
2007
13 years 10 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...
ISMB
1994
13 years 10 months ago
1994
Wepresent the prototype of a software system, cMledGeneQuiz,for large-scale biological sequence analysis. The system was designed to meet the needs that arise in computational seq...
BMCBI
2006
13 years 8 months ago
2006
Background: The accomplishment of the various genome sequencing projects resulted in accumulation of massive amount of gene sequence information. This calls for a large-scale comp...