Sciweavers

6709 search results - page 319 / 1342
» Impacting the Learning Experience
Sort
View
KES
2005
Springer
16 years 27 days ago
Towards Adaptive Clustering in Self-monitoring Multi-agent Networks
A Decentralised Adaptive Clustering (DAC) algorithm for self-monitoring impact sensing networks is presented within the context of CSIRO-NASA Ageless Aerospace Vehicle project. DAC...
Piraveenan Mahendra rajah, Mikhail Prokopenko, Pet...
BSN
2009
IEEE
157views Sensor Networks» more  BSN 2009»
16 years 15 days ago
Towards Self-Healing in Wireless Sensor Networks
— Faults in WSN are very common and appear in different levels of the system. For pervasive applications to be adopted by end-users there is a need for autonomic selfhealing. Thi...
Themistoklis Bourdenas, Morris Sloman
DAC
1994
ACM
15 years 11 months ago
Fitting Formal Methods into the Design Cycle
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...
Kenneth L. McMillan
DSD
2007
IEEE
151views Hardware» more  DSD 2007»
15 years 11 months ago
P-Ware: A precise and scalable component-based simulation tool for embedded multiprocessor industrial applications
We present a component-based framework and its supporting simulation tool for joint software-hardware modelling and performance analysis of multiprocessor embedded systems. This j...
Ismail Assayad, Sergio Yovine
CSEE
2007
Springer
15 years 11 months ago
Exploiting Multiplicity to Teach Reliability and Maintainability in a Capstone Project
Many, if not most, Computer Science programs contain some form of capstone, or senior, project as a key requirement in receiving a bachelor's degree in Computer Science or So...
Janet E. Burge