7557 search results - page 152 / 1512 » Modeling Timed Concurrent Systems |
146
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
166
click to vote
GLOBECOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—In this paper, we propose a novel protocol called VC-MAC that utilizes the concept of cooperative communication tailored for vehicular networks, especially for gateway downloadi...
135
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
118
click to vote
CALCO
2005
Springer
15 years 10 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...
155
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
As real-time and embedded systems become increasingly large and complex, the traditional strictly static approach to memory management begins to prove untenable. The challenge is ...