Sciweavers

1499 search results - page 177 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
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
ICSM
2003
IEEE
15 years 11 months ago
On Modeling Software Architecture Recovery as Graph Matching
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
Kamran Sartipi, Kostas Kontogiannis
VISUALIZATION
1996
IEEE
15 years 10 months ago
Clinical Evaluation of Interactive Volume Visualization
This case study describes a system that allows the use of interactive volume rendering for routine clinical diagnosis. In this setup, a SGI RealityStation acts like a remote rende...
Karel J. Zuiderveld, Peter M. A. van Ooijen, John ...
DCOSS
2008
Springer
15 years 8 months ago
An In-Field-Maintenance Framework for Wireless Sensor Networks
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...
Qiuhua Cao, John A. Stankovic
ICDCS
2010
IEEE
15 years 7 months ago
Efficient Workstealing for Multicore Event-Driven Systems
Many high-performance communicating systems are designed using the event-driven paradigm. As multicore platforms are now pervasive, it becomes crucial for such systems to take adva...
Fabien Gaud, Sylvain Geneves, Renaud Lachaize, Bap...