Sciweavers

1178 search results - page 157 / 236
» A Methodological Approach to Developing Model Transformation...
Sort
View
ANSS
2000
IEEE
15 years 6 months ago
Modeling and Analysis of Software Aging and Rejuvenation
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
Kishor S. Trivedi, Kalyanaraman Vaidyanathan, Kate...
IJCAI
2007
15 years 3 months ago
Metric Properties of Structured Data Visualizations through Generative Probabilistic Modeling
Recently, generative probabilistic modeling principles were extended to visualization of structured data types, such as sequences. The models are formulated as constrained mixture...
Peter Tino, Nikolaos Gianniotis
AISS
2010
130views more  AISS 2010»
14 years 11 months ago
Neural Network Modeling for Proton Exchange Membrane Fuel Cell (PEMFC)
This paper presents the artificial intelligence techniques to control a proton exchange membrane fuel cell system process using particularly a methodology of dynamic neural networ...
Youssef M. ElSayed, Moataz H. Khalil, Khairia E. A...
IEAAIE
1995
Springer
15 years 5 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung
ICSE
2007
IEEE-ACM
16 years 2 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...