4346 search results - page 238 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
148
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Event-based systems are increasingly gaining widespread attention for applications that require integration with loosely coupled and distributed systems for time-critical business...
140
click to vote
ICNP
2003
IEEE
15 years 10 months ago
2003
IEEE
Peer-to-peer systems have quickly become a popular way for file sharing and distribution. In this paper, we focus on the subsystem consisting of peers and their actions relative ...
162
click to vote
CLEIEJ
2006
15 years 4 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
149
Voted
ISAS
2004
Springer
15 years 10 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
120
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...