1772 search results - page 113 / 355 » The Model Coupling Toolkit |
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
We introduce a model of mutually attracting agents in an arbitrary network, for which the long term behavior results in the emergence of several clusters. The cluster structure is ...
BMCBI
2004
14 years 11 months ago
2004
Background: G protein-coupled receptors (GPCRs) transduce signals from extracellular space into the cell, through their interaction with G proteins, which act as switches forming ...
IDEAS
2000
IEEE
15 years 3 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
ENTCS
2006
14 years 11 months ago
2006
We propose a format of predicate diagrams for the verification of real-time systems. We consider systems that are defined as extended timed graphs, a format that combines timed au...
115
click to vote
SPRINGSIM
2010
14 years 9 months ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...