4604 search results - page 317 / 921 » Concurrency in Synchronous Systems |
209
click to vote
GLOBECOM
2007
IEEE
16 years 1 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...
153
click to vote
ICESS
2007
Springer
16 years 29 days ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
157
click to vote
SAINT
2005
IEEE
16 years 12 days ago
2005
IEEE
In this work we present a protocol ensuring the eTransaction guarantee (i.e. a recently proposed end-to-end reliability guarantee) in a Web based, three-tier transactional system....
176
click to vote
ECLIPSE
2004
ACM
16 years 7 days ago
2004
ACM
Coordination of development activities is often the most crucial success factor in a software development team. Typically, teams rely on configuration management (CM) systems for...
179
click to vote
APN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...