Sciweavers

1227 search results - page 57 / 246
» A Programming Model for Time-Synchronized Distributed Real-T...
Sort
View
UML
2005
Springer
15 years 8 months ago
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Progr
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
Hiroshi Wada, Junichi Suzuki
110
Voted
BIRTHDAY
2007
Springer
15 years 8 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
121
Voted
DATE
2009
IEEE
116views Hardware» more  DATE 2009»
15 years 9 months ago
An MDE methodology for the development of high-integrity real-time systems
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
Silvia Mazzini, Stefano Puri, Tullio Vardanega
121
Voted
IPPS
2007
IEEE
15 years 8 months ago
The Design and Implementation of Real-time Event-based Applications with RTSJ
This paper presents a framework to design real-time event-based applications using Java. The Real-Time Specification for Java (RTSJ) is well designed for hard periodic real-time ...
Damien Masson, Serge Midonnet
116
Voted
SIGGRAPH
1997
ACM
15 years 6 months ago
Interactive simulation of fire in virtual building environments
This paper describes the integration of the Berkeley Architectural Walkthrough Program with the National Institute of Standards and Technology’s CFAST fire simulator. The integ...
Richard W. Bukowski, Carlo H. Séquin