Sciweavers

1268 search results - page 140 / 254
» Verifying distributed systems: the operational approach
Sort
View
MOBILIGHT
2010
14 years 7 months ago
Improving Wireless Sensor Network Resilience with the INTERSECTION Framework
This paper investigates the INTERSECTION Framework's ability to build resilience into Wireless Sensor Networks. The framework's general details are examined along with ge...
Gareth Tyson, Adam T. Lindsay, Steven Simpson, Dav...
ICVS
2009
Springer
15 years 4 months ago
A Fast Joint Bioinspired Algorithm for Optic Flow and Two-Dimensional Disparity Estimation
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...
Manuela Chessa, Silvio P. Sabatini, Fabio Solari
GRID
2004
Springer
15 years 3 months ago
Memory Conscious Task Partition and Scheduling in Grid Environments
While resource management and task scheduling are identified challenges of Grid computing, current Grid scheduling systems mainly focus on CPU and network availability. Recent per...
Ming Wu, Xian-He Sun
WISES
2003
14 years 11 months ago
A Simulation Architecture for Time-Triggered Transducer Networks
— Steadily growing microcontroller capabilities at an ever decreasing cost per operation encourage the development of more extensive and smarter applications in the domain of emb...
Martin Schlager
COLCOM
2009
IEEE
15 years 2 months ago
An analytical study of GWAP-based geospatial tagging systems
—Geospatial tagging (geotagging) is an emerging and very promising application that can help users find a wide variety of location-specific information, and facilitate the deve...
Ling-Jyh Chen, Yu-Song Syu, Bo-Chun Wang, Wang-Chi...