Sciweavers

3911 search results - page 335 / 783
» Using Operational Architecture to Model Embedded Software
Sort
View
ICCSA
2005
Springer
16 years 8 days ago
A Systematic Process to Design Product Line Architecture
Product Line Engineering is being accepted as a representative software reuse methodology by using core assets and product line architecture is known as a key element of core asset...
Soo Dong Kim, Soo Ho Chang, Hyun Jung La
193
Voted
FAC
2007
128views more  FAC 2007»
15 years 6 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
UIST
1993
ACM
15 years 10 months ago
VB2: An Architecture for Interaction in Synthetic Worlds
This paper describes the VB2 architecture for the construction of three-dimensional interactive applications. The system's state and behavior are uniformly represented as a n...
Enrico Gobbetti, Jean-Francis Balaguer, Daniel Tha...
WSC
2008
15 years 9 months ago
A generic framework for real-time discrete event simulation (DES) modelling
This paper suggests a generic simulation platform that can be used for real-time discrete event simulation modeling. The architecture of the proposed system is based on a tested f...
Siamak Tavakoli, Alireza Mousavi, Alexander Komash...
JAVA
2001
Springer
15 years 11 months ago
Implementation of a portable software DSM in Java
Rapid commoditization of advanced hardware and progress of networking technology is now making wide area high-performance computing a.k.a. the ‘Grid’ Computing a reality. Sinc...
Yukihiko Sohda, Hidemoto Nakada, Satoshi Matsuoka