Sciweavers

284 search results - page 26 / 57
» Modularity of Completeness Revisited
Sort
View
AAI
2007
95views more  AAI 2007»
13 years 10 months ago
An AI Electrical Ground Support Equipment for Controlling and Testing a Space Instrument
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
María Dolores Rodríguez-Moreno, Manu...
SAC
2006
ACM
13 years 9 months ago
Efficient interactive configuration of unbounded modular systems
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
Erik Roland van der Meer, Andrzej Wasowski, Henrik...
TSE
1998
115views more  TSE 1998»
13 years 9 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
BMCBI
2010
177views more  BMCBI 2010»
13 years 10 months ago
Modular composition predicts kinase/substrate interactions
Background: Phosphorylation events direct the flow of signals and metabolites along cellular protein networks. Current annotations of kinase-substrate binding events are far from ...
Yichuan Liu, Aydin Tozeren
BMCBI
2008
121views more  BMCBI 2008»
13 years 10 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...