Sciweavers

3121 search results - page 87 / 625
» Information Survivability Control Systems
Sort
View
JCS
2008
119views more  JCS 2008»
15 years 6 months ago
Synthesising verified access control systems through model checking
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
Nan Zhang 0003, Mark Ryan, Dimitar P. Guelev
TRIDENTCOM
2008
IEEE
16 years 20 days ago
Performance of P2P live video streaming systems on a controlled test-bed
We evaluate and compare the performance of three P2P streaming systems that are capable of streaming live video on the Internet by testing them on a carefully controlled, traffic...
Sachin Agarwal, Jatinder Pal Singh, Aditya Mavlank...
INTELLCOMM
2004
Springer
15 years 11 months ago
Inferring Presence in a Context-Aware Instant Messaging System
Abstract. The increasing volume of digital communication is raising new challenges in the management of the information flow. We discuss the usage of context to infer presence info...
Mikko Perttunen, Jukka Riekki
APLAS
2005
ACM
15 years 12 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
DEXAW
2003
IEEE
97views Database» more  DEXAW 2003»
15 years 11 months ago
Information Mapping and Indexing in DAYS
DAta in Your Space (DAYS) is an information dissemination system, which aims to provide desired information to use users through wireless channels. DAYS pushes data and control in...
Nimisha Garg, Vijay Kumar, Margaret H. Dunham