7064 search results - page 1050 / 1413 » From States to Histories |
179
click to vote
HIPC
2005
Springer
16 years 12 days ago
2005
Springer
We recently proposed a new approach to parallelization, by decomposing the time domain, instead of the conventional space domain. This improves latency tolerance, and we demonstrat...
189
click to vote
HYBRID
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. In this paper, we study the problem of controlling the expected exit time from a region for a class of stochastic hybrid systems. That is, we find the least costly feedb...
180
click to vote
IMR
2005
Springer
16 years 11 days ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
168
click to vote
ISW
2005
Springer
16 years 11 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
172
click to vote
IVA
2005
Springer
16 years 11 days ago
2005
Springer
We present an interactive installation with life-size virtual agents that inform, entertain, encourage, and assist visitors during the process of building a car. It will be install...