4917 search results - page 432 / 984 » Software Engineering is Not Computer Science |
147
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
167
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
Computing the Dodgson Score of a candidate in an election is a hard computational problem, which has been analyzed using classical and parameterized analysis. In this paper we reso...
167
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
160
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Distributedsoftwareenvironmentsareincreasinglycomplex anddiculttomanage,astheyintegratevariouslegacysoftware with specic management interfaces. Moreover, the factthatmanagementtas...
122
Voted
ICS
2010
Tsinghua U.
16 years 2 months ago
2010
Tsinghua U.
Collectors of confidential data, such as governmental agencies, hospitals, or search engine providers, can be pressured to permit data to be used for purposes other than that for ...