Sciweavers

10072 search results - page 221 / 2015
» Composition of Model Programs
Sort
View
FASE
2009
Springer
15 years 10 months ago
Interface Generation and Compositional Verification in JavaPathfinder
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
Dimitra Giannakopoulou, Corina S. Pasareanu
NAR
2008
142views more  NAR 2008»
15 years 6 months ago
CMGSDB: integrating heterogeneous Caenorhabditis elegans data sources using compositional data mining
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
Amrita Pati, Ying Jin, Karsten Klage, Richard F. H...
MASCOTS
2003
15 years 8 months ago
DEVS Today: Recent Advances in Discrete Event-Based Information Technology
We review the DEVS modeling and simulation framework Its fundamental concepts are discussed from the standpoint of discrete event information processing with an example drawn from...
Bernard P. Zeigler
UM
2005
Springer
16 years 1 days ago
User Modeling Meets Usability Goals
Anthony Jameson