Sciweavers

4752 search results - page 136 / 951
» Dependability in Web Software
Sort
View
ASPLOS
2006
ACM
16 years 19 hour ago
Dependable != unaffordable
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
Alan L. Cox, Kartik Mohanram, Scott Rixner
WETICE
1998
IEEE
15 years 10 months ago
Flexible Handling of Work Processes by Situation-Dependent Support Strategies
Although work pr ocesses, like software pr ocesses, include a number of process aspects such as defined phases and deadlines, they are not plannable in detail. Howe ver, the advan...
Gert Faustmann
SPLC
2010
15 years 7 months ago
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 3 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
ATAL
2011
Springer
14 years 6 months ago
Trust as dependence: a logical approach
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
Munindar P. Singh