4350 search results - page 543 / 870 » Case studies for contract-based systems |
188
Voted
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
182
click to vote
ATS
2009
IEEE
16 years 1 months ago
2009
IEEE
—In the past, software based scan chain defect diagnosis can be roughly classified into two categories (1) model-based algorithms, and (2) data-driven algorithms. In this paper w...
179
Voted
IEEEARES
2009
IEEE
16 years 1 months ago
2009
IEEE
The implementation of security principles, like least privilege, in a software architecture is difficult, as no systematic rules on how to apply them in practice exist. As a resu...
202
Voted
ICALP
2009
Springer
16 years 1 months ago
2009
Springer
Refereed conferences require every submission to be reviewed by members of a program committee (PC) in charge of selecting the conference program. There are many software packages...
186
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...