Sciweavers

2483 search results - page 27 / 497
» A design framework to model retinas
Sort
View
CORR
2010
Springer
105views Education» more  CORR 2010»
14 years 9 months ago
A framework to model real-time databases
: Real-time databases deal with time-constrained data and time-constrained transactions. The design of
Nizar Idoudi, Nada louati, Claude Duvallet, Bruno ...
WORDS
2003
IEEE
15 years 2 months ago
Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
Jiyong Park, Saehwa Kim, Seongsoo Hong
ICWE
2004
Springer
15 years 3 months ago
A Framework for the Simulation of Web Applications
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
Pedro Peixoto, K. K. Fung, David Lowe
CAV
2005
Springer
173views Hardware» more  CAV 2005»
15 years 3 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
CAISE
2004
Springer
15 years 3 months ago
Achieving Enterprise Model Interoperability through the Model-Based Architecture Framework for Enterprises
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
Håvard D. Jørgensen, Oddrun Pauline O...