Sciweavers

3008 search results - page 81 / 602
» Information and Control in Gray-Box Systems
Sort
View
IV
2006
IEEE
100views Visualization» more  IV 2006»
16 years 12 days ago
Synchronization Strategies for Spatial Information Organization
Spatial organisation of information objects on a two or three dimensional plane or space has the advantage of revealing the connections between objects easily by spatial proximity...
Dirk Kukulenz, Juliane Kasper
SIGCSE
2010
ACM
186views Education» more  SIGCSE 2010»
16 years 27 days ago
Teaching operating systems using virtual appliances and distributed version control
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
Oren Laadan, Jason Nieh, Nicolas Viennot
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 23 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