7557 search results - page 743 / 1512 » Modeling Timed Concurrent Systems |
221
click to vote
ISORC
2005
IEEE
16 years 1 months ago
2005
IEEE
Distributed Real-Time Embedded systems (DRE) increasingly rely on COTS middleware to meet their distribution needs. Yet, there is a technology gap between the design of COTS middl...
186
click to vote
INFOCOM
2003
IEEE
16 years 22 days ago
2003
IEEE
— We investigate the problem of computing the types of the relationships between Internet Autonomous Systems. We refer to the model introduced in [1], [2] that bases the discover...
150
click to vote
ANTSW
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In previous papers we proposed an algorithm for real parameter optimization called the Aggregation Pheromone System (APS). The APS replaces pheromone trails in traditiona...
192
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
188
click to vote
GAMEON
2007
15 years 9 months ago
2007
An advanced Business Game is presented in the paper, built on the methodology of System Dynamics. It can be used for cognitive learning and knowledge transmission in schools and U...