15644 search results - page 166 / 3129 » Brittle System Analysis |
151
click to vote
CISS
2008
IEEE
16 years 29 days ago
2008
IEEE
—This paper provides a comparative study of the distributed antenna system (DAS) and the conventional colocated antenna system (CAS) in the multi-user scenario. It is demonstrate...
177
click to vote
ICSEA
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
168
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
Traditionally, top-down and bottom-up design approaches have competed with each other in Algorithmics and Software Engineering. In the top-down approach, design process starts wit...
191
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a constraint-based technique for discovering a rich class of inductive invariants (boolean combinations of polynomial inequalities of bounded degree) ...