365 search results - page 48 / 73 » Dynamic Verification of Trust in Distributed Open Systems |
POLICY
2004
Springer
14 years 2 months ago
2004
Springer
Policy Based Management (PBM) is a research topic that has been driven by the tremendous complexity inherent in the administration and management of present-day networking and tel...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
IGARSS
2009
13 years 6 months ago
2009
The Sensor Web as an open complex adaptive system exhibits many characteristic that are common to selforganising systems. One of the characteristics of the Sensor Web is that of s...
IJISEC
2007
13 years 8 months ago
2007
The vision of ubiquitous computing is becoming a reality thanks to the advent of portable devices and the advances in wireless networking technologies. It aims to facilitate user ...
CCS
2010
ACM
14 years 1 days ago
2010
ACM
Cloud computing has emerged as a multi-tenant resource sharing platform, which allows different service providers to deliver software as services in an economical way. However, fo...