Sciweavers

2483 search results - page 66 / 497
» A design framework to model retinas
Sort
View
AINA
2006
IEEE
15 years 1 months ago
Towards an Unified Experimentation Framework for Protocol Engineering
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
Laurent Dairaine, Ernesto Exposito, Herve Thalmens...
FMCAD
2007
Springer
15 years 1 months ago
A Mechanized Refinement Framework for Analysis of Custom Memories
We present a framework for formal verification of embedded custom memories. Memory verification is complicated ifficulty in abstracting design parameters induced by the inherently ...
Sandip Ray, Jayanta Bhadra
JSI
1998
125views more  JSI 1998»
14 years 9 months ago
The Algebraic Framework for Object-Oriented Systems
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...
D. H. H. Yoon
ICWE
2005
Springer
15 years 3 months ago
A Model-Driven Approach for Designing Distributed Web Information Systems
There is an apparent need for specifying the integration of multiple knowledge sources during the design of Web Information Systems (WIS) where the actual data is often retrieved f...
Richard Vdovjak, Geert-Jan Houben
JSW
2007
97views more  JSW 2007»
14 years 9 months ago
Instantiation of a Classification System Framework that Facilitates Reuse
Abstract—Frameworks are a key technology to reduce software development costs and shorten the time-to-market. However, framework complexity presents reuse problems that limit its...
Sérgio F. Lopes, Adriano Tavares, Joã...