Sciweavers

12774 search results - page 333 / 2555
» A Framework for Proof Systems
Sort
View
ECRTS
2006
IEEE
16 years 25 days ago
The Dependency Management Framework: A Case Study of the ION CubeSat
Due to the complexity and requirements of modern realtime systems, multiple teams must often work concurrently and independently to develop the various components of the system. S...
Hui Ding, Leon Arber, Lui Sha, Marco Caccamo
SAC
2009
ACM
16 years 1 months ago
Development of a biosignals framework for usability analysis
The understanding of human physical and physiological signals and expressions, together with a growing processing and control capacity allows for new approaches in interactive sys...
Inês Oliveira, Rui Lopes, Nuno Guimarã...
ICEIS
2009
IEEE
16 years 1 months ago
A Logic Programming Framework for Learning by Imitation
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
SACMAT
2009
ACM
16 years 1 months ago
Patient-centric authorization framework for sharing electronic health records
Jing Jin, Gail-Joon Ahn, Hongxin Hu, Michael J. Co...
ICC
2007
IEEE
147views Communications» more  ICC 2007»
16 years 1 months ago
A Cooperative AIS Framework for Intrusion Detection
Abstract— We present a cooperative intrusion detection approach inspired by biological immune system principles and P2P communication techniques to develop a distributed anomaly ...
Katja Luther, Rainer Bye, Tansu Alpcan, Achim M&uu...