2106 search results - page 383 / 422 » Operational Semantics for DyLPs |
136
click to vote
IFIP
2009
Springer
16 years 2 days ago
2009
Springer
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
185
click to vote
DOLAP
2009
ACM
16 years 1 days ago
2009
ACM
Extract-Transform-Load (ETL) activities are software modules responsible for populating a data warehouse with operational data, which have undergone a series of transformations on...
168
click to vote
AIPR
2008
IEEE
16 years 15 hour ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
116
click to vote
ICPR
2008
IEEE
15 years 12 months ago
2008
IEEE
Tools for automatic image understanding for managing operator workloads are essential. One common task for image analysts is the scanning large collections of real-time images loo...
145
click to vote
QEST
2008
IEEE
15 years 12 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...