2650 search results - page 285 / 530 » Simulation and Control of Reactive Systems |
165
click to vote
COMCOM
2008
15 years 4 months ago
2008
When a vehicle moves on roads, it can receive messages from base stations (BSs) and other vehicles. After it moves far away the transmission range, the vehicle tries to find an av...
167
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
126
click to vote
SOSP
2003
ACM
16 years 1 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
179
click to vote
AAAI
2008
15 years 5 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
167
click to vote
HASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...