Sciweavers

885 search results - page 73 / 177
» A Software Architecture for Industrial Automation
Sort
View
ICSE
2007
IEEE-ACM
14 years 9 months ago
On Accurate Automatic Verification of Publish-Subscribe Architectures
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
EUROMICRO
2000
IEEE
14 years 1 months ago
Tumor Recognition in Endoscopic Video Images Using Artificial Neural Network Architectures
This paper focuses on a scheme for automated tumor recognition using images acquired during endoscopic sessions. The proposed recognition system is based on multi-layer feed forwa...
S. A. Karkanis, Dimitrios K. Iakovidis, Dimitrios ...
EUMAS
2006
13 years 10 months ago
Agent Capability: Automating the Design to Code Process
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
Loris Penserini, Anna Perini, Angelo Susi, John My...
DEXAW
1998
IEEE
88views Database» more  DEXAW 1998»
14 years 1 months ago
A View on Components
Components are nowadays considered the next step in information system development. Components are assumed to foster reuse and flexibility, and reduce the complexity of distribute...
Nico H. Lassing, Daan B. B. Rijsenbrij, Johannes C...
CL
2008
Springer
13 years 9 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