Sciweavers

1188 search results - page 79 / 238
» Extended Graph Unification
Sort
View
103
Voted
WABI
2005
Springer
15 years 6 months ago
Improved Maintenance of Molecular Surfaces Using Dynamic Graph Connectivity
We present recent developments in efficiently maintaining the boundary and surface area of protein molecules as they undergo conformational changes. As the method that we devised k...
Eran Eyal, Dan Halperin
GG
2004
Springer
15 years 6 months ago
Translating Java Code to Graph Transformation Systems
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
Andrea Corradini, Fernando Luís Dotti, Luci...
AOSE
2000
Springer
15 years 5 months ago
Agent-Oriented Modeling with Graph Transformation
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
92
Voted
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 26 days ago
Stabilizer Quantum Codes: A Unified View based on Forney-style Factor Graphs
Quantum error-correction codes (QECCs) are a vital ingredient of quantum computation and communication systems. In that context it is highly desirable to design QECCs that can be r...
Pascal O. Vontobel
109
Voted
DEDS
2010
88views more  DEDS 2010»
15 years 26 days ago
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
Jorge Júlvez, Jordi Cortadella, Michael Kis...