Sciweavers

4355 search results - page 149 / 871
» Increasing Kolmogorov Complexity
Sort
View
ECCB
2008
IEEE
14 years 10 months ago
Temporal logic patterns for querying dynamic models of cellular interaction networks
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu,...
82
Voted
MCS
2002
Springer
14 years 10 months ago
Combining Classifiers of Pesticides Toxicity through a Neuro-fuzzy Approach
The increasing amount and complexity of data in toxicity prediction calls for new approaches based on hybrid intelligent methods for mining the data. This focus is required even mo...
Emilio Benfenati, Paolo Mazzatorta, Daniel Neagu, ...
84
Voted
RE
2008
Springer
14 years 9 months ago
Requirements Capture with RCAT
NASA spends millions designing and building spacecraft for its missions. The dependence on software is growing as spacecraft become more complex. With the increasing dependence on...
Margaret H. Smith, Klaus Havelund
109
Voted
SERA
2010
Springer
14 years 8 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...
95
Voted
ERSA
2010
159views Hardware» more  ERSA 2010»
14 years 8 months ago
Acceleration of FPGA Fault Injection Through Multi-Bit Testing
SRAM-based FPGA devices are an attractive option for data processing on space-based platforms, due to high computational capabilities and a lower power envelope than traditional pr...
Grzegorz Cieslewski, Alan D. George, Adam Jacobs