2452 search results - page 296 / 491 » The Case for Precision Sharing |
184
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
Indoor routing represents an essential feature required by applications and systems that provide spatial information about complex sites, buildings and infrastructures such as in ...
192
click to vote
NORDSEC
2009
Springer
16 years 1 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
160
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
184
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Modern techniques for distributed information retrieval use a set of documents sampled from each server, but these samples have been underutilised in server selection. We describe...
172
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...