65 search results - page 6 / 13 » A Survey of Operations Research Models and Applications in H... |
TASE
2008
IEEE
13 years 7 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
AINA
2009
IEEE
14 years 19 days ago
2009
IEEE
—The paper first discusses motivations why taking into account location information in authentication and access control is important. The paper then surveys current approaches t...
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
GEOS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
NSPW
2006
ACM
14 years 1 months ago
2006
ACM
Over the last several years, there has been an emerging interest in the development of widearea data collection and analysis centers to help identify, track, and formulate respons...