Sciweavers

1938 search results - page 63 / 388
» Dependable Software
Sort
View
141
Voted
WETICE
1998
IEEE
15 years 6 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
135
Voted
SPLC
2010
15 years 4 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
120
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 9 days 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 2 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
LISA
1998
15 years 3 months ago
mkpkg: A software packaging tool
mkpkg is a tool that helps software publishers create installation packages. Given software that is ready for distribution, mkpkg helps the publisher develop a description of the ...
Carl Staelin