221 search results - page 23 / 45 » The Concurrent, Continuous FLUX |
112
click to vote
CEC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The CoSMoS project aims to develop reusable tools and techniques for complex systems modelling and simulation. Using process-oriented software design techniques, we have built ...
116
click to vote
SSS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we present a rigorous treatment to structured overlay maintenance in decentralized peerto-peer (P2P) systems subject to various system and network failures. we prese...
111
Voted
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
We propose a methodology for optimal k-way partitioning with replication of directed hypergraphs via Boolean satisfiability. We begin by leveraging the power of existing and emerg...
136
click to vote
RISE
2005
Springer
15 years 9 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
121
click to vote
HYBRID
2004
Springer
15 years 9 months ago
2004
Springer
A general notion of bisimulation is studied for dynamical systems. An algebraic characterization of bisimulation together with an algorithm for computing the maximal bisimulation r...