Sciweavers

6581 search results - page 405 / 1317
» Formalizing Design Patterns
Sort
View
FM
2006
Springer
172views Formal Methods» more  FM 2006»
15 years 8 months ago
The Embedded Systems Design Challenge
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
Thomas A. Henzinger, Joseph Sifakis
IAT
2006
IEEE
15 years 11 months ago
On the Design of a Web-Based Decision Support System for Brain Tumour Diagnosis Using Distributed Agents
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...
Carles Arús, Bernardo Celda, Srinandan Dasm...
VTC
2006
IEEE
179views Communications» more  VTC 2006»
15 years 11 months ago
Design of a Joint Defense System for Mobile Ad Hoc Networks
— A mobile ad hoc network (MANET) is vulnerable to malicious attacks although it is suitable for various environments because of its rapid establishment. In order to set up a sec...
Huei-Wen Ferng, Chien-Liang Liu
ICAPR
2005
Springer
15 years 10 months ago
Designing a Fast Convolution Under the LIP Paradigm Applied to Edge Detection
The Logarithmic Image Processing model (LIP) is a robust mathematical framework for the processing of transmitted and reflected images. It follows many visual, physical and psycho...
José M. Palomares, Jesús Gonzá...
ICCS
2003
Springer
15 years 10 months ago
Design and Evaluation of Distributed Smart Disk Architecture for I/O-Intensive Workloads
Smart disks, a type of processor-embedded active I/O devices, with their on-disk memory and network interface controller, can be viewed as processing elements with attached storage...
Steve C. Chiu, Wei-keng Liao, Alok N. Choudhary