Sciweavers

754 search results - page 28 / 151
» Evaluating Software Architectures for Real-Time Systems
Sort
View
CL
2008
Springer
13 years 7 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
MVA
1994
145views Computer Vision» more  MVA 1994»
13 years 9 months ago
Machine Vision Based Inspection of Textile Fabrics
Several issues on automatic inspection of textile fabrics are discussed in this paper. To avoid the intense computation for real time inspection, we suggest a parallel pyramid har...
Chuanjun Wang, Chih-Ho Yu
SIGSOFT
2003
ACM
14 years 29 days ago
Evaluating and improving the automatic analysis of implicit invocation systems
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
Jeremy S. Bradbury, Jürgen Dingel
WICSA
2008
13 years 9 months ago
Towards Software Architecture Physiology: Identifying Vital Components
Several architecture analysis methods are proposed in the literature for evaluating both the structure and the behavior of architectures. A parallel between humans and software sy...
Ilham Alloui, Sorana Cîmpan, Hervé Ve...
GIS
2002
ACM
13 years 7 months ago
Web architectures for scalable moving object servers
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
Cédric du Mouza, Philippe Rigaux