Sciweavers

3425 search results - page 455 / 685
» A Model Driven Approach for Software Systems Reliability
Sort
View
179
Voted
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 1 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
257
Voted
DAC
2006
ACM
16 years 8 months ago
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
Xinping Zhu, Wei Qin
304
Voted
VLDB
2003
ACM
114views Database» more  VLDB 2003»
16 years 7 months ago
Managing multiple and distributed ontologies on the Semantic Web
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
Alexander Maedche, Boris Motik, Ljiljana Stojanovi...
175
Voted
LCTRTS
2004
Springer
16 years 12 days ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
190
Voted
SOSE
2006
IEEE
16 years 1 months ago
Service Oriented Evolutions and Analyses of Design Patterns
The globalization of software development helps to reduce business cost by outsourcing software design and development tasks. However, it also poses new challenges on the collabor...
Jing Dong, Sheng Yang, Dushyant S. Lad, Yongtao Su...