4350 search results - page 373 / 870 » Case studies for contract-based systems |
182
click to vote
KR
1991
Springer
15 years 10 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
203
click to vote
CBSE
2005
Springer
15 years 8 months ago
2005
Springer
— Component-based software engineering (CBSE) is quickly becoming a mainstream approach to software development. At the same time, there is a massive shift from desktop applicati...
134
click to vote
ECSA
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer...
119
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We study the behavior of Range Voting and Normalized Range Voting with respect to electoral control. Electoral control encompasses attempts from an election chair to alter the str...
172
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
Qureshi, et al. (2002) [1] presented a case study where they used a framework, the Intellectual Bandwidth Model to measure an organization’s ability to create value. The model c...