9051 search results - page 1502 / 1811 » On detectability of stochastic systems |
164
click to vote
ISW
2005
Springer
16 years 7 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 ...
168
click to vote
IVA
2005
Springer
16 years 7 days ago
2005
Springer
Human to virtual human interaction is the next frontier in interface design, particularly for tasks that are social or collaborative in nature. Several embodied interface agents ha...
197
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
169
click to vote
WLP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Combinatorial Auctions are an attractive application of intelligent agents; their applications are countless and are shown to provide good revenues. On the other hand, on...
175
click to vote
IUI
2004
ACM
16 years 5 days ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...