Sciweavers

150 search results - page 14 / 30
» Real-Time Systems - Biologically Inspired Future
Sort
View
ICARIS
2004
Springer
14 years 21 days ago
Exploiting Immunological Properties for Ubiquitous Computing Systems
The immune system exhibits properties such as learning, distributivity continual adaptation, context dependent response and memory during the lifetime of a host. This paper argues ...
Philipp H. Mohr, Nick Ryan, Jon Timmis
CIIT
2004
127views Communications» more  CIIT 2004»
13 years 8 months ago
OLSIM: Up-to-date traffic information on the web
The Internet is a convenient platform to distribute real time traffic information. Thus, we propose a web-based visualization of the current and future traffic load of the entire ...
Andreas Pottmeier, Roland Chrobok, Sigurdur F. Haf...
CORR
2008
Springer
125views Education» more  CORR 2008»
13 years 7 months ago
Sensing Danger: Innate Immunology for Intrusion Detection
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...
Uwe Aickelin, Julie Greensmith
ICVS
2003
Springer
14 years 16 days ago
Efficient Fingertip Tracking and Mouse Pointer Control for a Human Mouse
This paper discusses the design of a working system that visually recognizes hand gestures for the control of a window based user interface. We present a method for tracking the fi...
Jiyoung Park, Juneho Yi
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 1 months ago
A Metric Encoding for Bounded Model Checking
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
Matteo Pradella, Angelo Morzenti, Pierluigi San Pi...