Sciweavers

2139 search results - page 153 / 428
» Modeling Aspect-Oriented Compositions
Sort
View
CSFW
1999
IEEE
15 years 10 months ago
Secure Composition of Insecure Components
Software systems are becoming heterogeneous: instead of a small number of large programs from well-established sources, a user's desktop may now consist of many smaller compo...
Peter Sewell, Jan Vitek
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 7 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
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
16 years 25 days ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen