4604 search results - page 183 / 921 » Concurrency in Synchronous Systems |
124
click to vote
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Business rules are a cornerstone of the consistency management of e-commerce data. The concurrency of transactions by multiple customers of e-commerce services (e.g., seat reserva...
163
click to vote
WETICE
1996
IEEE
15 years 8 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
128
click to vote
WSCG
2001
15 years 5 months ago
2001
This paper addresses communication problems in a distributed virtual reality system. The paper presents VOODIE, a system that provides a framework for distributed virtual environm...
129
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
139
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We apply three different modeling frameworks -- timed automata (Uppaal), colored Petri nets and synchronous data flow -- to model a challenging industrial case study that...