Sciweavers

6846 search results - page 401 / 1370
» Developing an Active Observer
Sort
View
EWSN
2009
Springer
16 years 7 months ago
Multi-hop Cluster Hierarchy Maintenance in Wireless Sensor Networks: A Case for Gossip-Based Protocols
Multi-hop cluster hierarchy has been presented as an organization for large wireless sensor networks (WSNs) that can provide scalable routing, data aggregation, and querying. In th...
Konrad Iwanicki, Maarten van Steen
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
16 years 1 months ago
PicNIc - Pi-calculus non-interference checker
PICNIC is a tool for verifying security properties of systems, namely non-interference properties of processes expressed as terms of the π-calculus with two security levels and d...
Silvia Crafa, Matteo Mio, Marino Miculan, Carla Pi...
CDC
2008
IEEE
100views Control Systems» more  CDC 2008»
16 years 1 months ago
A structure preserving minimal representation of a nonlinear port-Hamiltonian system
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
Jacquelien M. A. Scherpen, Arjan van der Schaft
ICRA
2008
IEEE
110views Robotics» more  ICRA 2008»
16 years 1 months ago
Mobile microscope: a new concept for hand-held microscopes with image stabilization
— In this paper, we propose the concept of a ”mobile microscope”. This is a hand-held microscope that can be used for observation in various places. Because microscopes which...
Takahiko Ishikawa, Hiromasa Oku, Masatoshi Ishikaw...
SECURWARE
2008
IEEE
16 years 1 months ago
From Monitoring Templates to Security Monitoring and Threat Detection
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
Nuno Amálio, George Spanoudakis