Sciweavers

1890 search results - page 59 / 378
» A component model for building systems software
Sort
View
IPPS
2007
IEEE
14 years 2 months ago
Identifying and Addressing Uncertainty in Architecture-Level Software Reliability Modeling
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
Leslie Cheung, Leana Golubchik, Nenad Medvidovic, ...
ENTCS
2007
116views more  ENTCS 2007»
13 years 8 months ago
DisCComp - A Formal Model for Distributed Concurrent Components
Most large-scaled software systems are structured in distributed components to manage complexity and have to cope with concurrent executed threads. System decomposition and concur...
Andreas Rausch
ISCA
2007
IEEE
182views Hardware» more  ISCA 2007»
14 years 2 months ago
Configurable isolation: building high availability systems with commodity multi-core processors
High availability is an increasingly important requirement for enterprise systems, often valued more than performance. Systems designed for high availability typically use redunda...
Nidhi Aggarwal, Parthasarathy Ranganathan, Norman ...
ENTCS
2010
99views more  ENTCS 2010»
13 years 8 months ago
State Based Robustness Testing for Components
Component based development allows to build software upon existing components and promises to improve software reuse and reduce costs. To gain reliability of a component based sys...
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong L...
SOSYM
2010
119views more  SOSYM 2010»
13 years 2 months ago
Formal specification of non-functional properties of component-based software systems
Component-based software engineering (CBSE) is viewed as an opportunity to deal with the increasing complexity of modern-day software. Along with CBSE comes the notion of component...
Steffen Zschaler