2836 search results - page 280 / 568 » Model Checking for Software Architectures |
154
click to vote
WADT
1999
Springer
15 years 9 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
198
click to vote
HPCA
2002
IEEE
16 years 5 months ago
2002
IEEE
Power dissipation has become one of the most critical factors for the continued development of both high-end and low-end computer systems. The successful design and evaluation of ...
155
click to vote
ENTCS
2010
15 years 2 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
163
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
167
click to vote
DSRT
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper describes the general system and software architecture for the Internet-based robotic teleoperation system using virtual reality tools. The existing technology and appl...