Sciweavers

3008 search results - page 152 / 602
» Mechanisms for Importing Modules
Sort
View
COMCOM
2006
62views more  COMCOM 2006»
15 years 4 months ago
Self-monitoring of wireless sensor networks
This paper presents an efficient distributed self-monitoring mechanism for a class of wireless sensor networks used for monitoring and surveillance. In these applications, it is i...
Chih-fan Hsin, Mingyan Liu
127
Voted
AIR
2005
102views more  AIR 2005»
15 years 4 months ago
A Case-Based Explanation System for Black-Box Systems
Most users of machine-learning products are reluctant to use the systems without any sense of the underlying logic that has led to the system's predictions. Unfortunately many...
Conor Nugent, Padraig Cunningham
ENTCS
2002
115views more  ENTCS 2002»
15 years 4 months ago
Component-Based Applications: A Dynamic Reconfiguration Approach with Fault Tolerance Support
This paper presents a mechanism for dynamic reconfiguration of component-based applications and its fault tolerance strategy. The mechanism, named generic connector, allows compos...
Thaís Vasconcelos Batista, Milano Gadelha C...
LPAR
2010
Springer
15 years 3 months ago
On Strong Normalization of the Calculus of Constructions with Type-Based Termination
Termination of recursive functions is an important property in proof assistants based on dependent type theories; it implies consistency and decidability of type checking. Type-bas...
Benjamin Grégoire, Jorge Luis Sacchini
119
Voted
PERCOM
2010
ACM
15 years 3 months ago
BACCARAT: a dynamic real-time bandwidth allocation policy for IEEE 802.15.4
Abstract—Recently, researchers and engineers began considering the use of WSN in time-sensitive applications. For effective real-time communications, it is important to solve the...
Christian Nastasi, Mauro Marinoni, Luca Santinelli...