Sciweavers

4744 search results - page 262 / 949
» Connected Computing
Sort
View
EDCC
2010
Springer
15 years 8 months ago
Opportunities from standardization in automotive safety assessment
An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
Raul Barbosa, Johan Karlsson
IPPS
1996
IEEE
15 years 8 months ago
Parallel Algorithms for Image Enhancement and Segmentation by Region Growing with an Experimental Study
This paper presents e cient and portable implementations of a useful image enhancement process, the Symmetric Neighborhood Filter SNF, and an image segmentation technique which ma...
David A. Bader, Joseph JáJá, David H...
DAGSTUHL
2001
15 years 5 months ago
Challenges in Ubiquitous Data Management
Ubiquitous computing is a compelling vision for the future that is moving closer to realization at an accelerating pace. The combination of global wireless and wired connectivity a...
Michael J. Franklin
CONCUR
2005
Springer
15 years 9 months ago
Type-Directed Concurrency
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...
Deepak Garg, Frank Pfenning
AINA
2007
IEEE
15 years 8 months ago
Towards Integrated Services for Health Monitoring
The emergence of short-range wireless communications hold the promise of realizing the grand vision of the next generation communication networks in which devices follow a always ...
Chunming Rong, Hein Meling, Dagfinn Waage