5180 search results - page 104 / 1036 » Concurrency, Time, and Constraints |
176
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Abstract—This paper looks at the scalability problems inherent in the Active Bat system: an outside-in ultrasonic location system. Such systems are typically associated with high...
160
click to vote
ACSD
2009
IEEE
15 years 10 months ago
2009
IEEE
A number of algorithms are available for computing the simulation relation on Kripke structures and on labelled transition systems representing concurrent systems. Among them, the...
191
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
Concurrent verification of hardware and software as part of the development process can shorten the time to market of complex systems. The objectives of the Virtual CPU approach i...
151
click to vote
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study a model of games that combines concurrency, imperfect information and stochastic aspects. Those are finite states games in which, at each round, the two players...
190
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
Business workflows implemented as BPEL processes play an important role for many business applications. BPEL is used to orchestrate a series of Web service calls. Which provider ...