Sciweavers

2483 search results - page 154 / 497
» A design framework to model retinas
Sort
View
SEUS
2007
IEEE
16 years 22 days ago
A Review on System Architectures for Sensor Fusion Applications
In the literature there exist many proposed architectures for sensor fusion applications. This paper briefly reviews some of the most common approaches, i. e., the JDL fusion arch...
Wilfried Elmenreich
JCIT
2007
158views more  JCIT 2007»
15 years 6 months ago
A Guidance Process for the Selection of Business Process Modelling Techniques for the Revised Business Process Reengineering
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...
Leila Jamel Menzli, Sonia Ayachi Ghannouchi, Henda...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 17 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
NGITS
1999
Springer
15 years 10 months ago
Multiplex: A Formal Model for Multidatabases and Its Implementation
The integration of information from multiple databases has been an enduring subject of research for over 20 years, and many different solutions have been attempted or proposed. Mis...
Amihai Motro
APSCC
2009
IEEE
15 years 11 months ago
Model driven approach to Service oriented Enterprise Architecture
Enterprise Architecture (EA) has become an important means to acquire and maintain knowledge about the structure and behavior of the enterprises and to develop the required IT sys...
Sedigheh Khoshnevis, Fereidoon Shams Aliee, Pooyan...