Sciweavers

379 search results - page 40 / 76
» Transformation-Based Structure Model Evolution
Sort
View
ENTCS
2008
98views more  ENTCS 2008»
13 years 9 months ago
A Rewriting Calculus for Multigraphs with Ports
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
Oana Andrei, Hélène Kirchner
CODES
1996
IEEE
14 years 1 months ago
Uninterpreted Co-Simulation for Performance Evaluation of Hw/Sw Systems
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
Jean Paul Calvez, Dominique Heller, Olivier Pasqui...
LFCS
2009
Springer
14 years 3 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
DSRT
2006
IEEE
14 years 2 months ago
Real Time P2P Network Simulation for Very Large Virtual Environment
The ever increasing speed of Internet connections has led to a point where it is actually possible for every end user to seamlessly share data on Internet. Peer-To-Peer (P2P) netw...
Romain Cavagna, Christian Bouville, Jér&oci...
RECOMB
2003
Springer
14 years 9 months ago
Combining phylogenetic and hidden Markov models in biosequence analysis
A few models have appeared in recent years that consider not only the way substitutions occur through evolutionary history at each site of a genome, but also the way the process c...
Adam C. Siepel, David Haussler