2043 search results - page 207 / 409 » Reasoning About Security Models |
194
click to vote
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
We study models that characterize pen trajectories of online handwritten characters in a fine manner. We propose radical based fine trajectory hidden Markov models (HMMs), which...
196
click to vote
SEFM
2008
IEEE
16 years 19 days ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
190
click to vote
DALT
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
156
click to vote
UM
2005
Springer
15 years 11 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
192
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...