4350 search results - page 587 / 870 » Case studies for contract-based systems |
196
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
159
click to vote
IVA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Effective speakers engage their whole body when they gesture. It is difficult, however, to create such full body motion in animated agents while still supporting a large...
170
click to vote
DSD
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper proposes a system-level cycle-based framework to model and design heterogeneous Multiprocessor Systems on-Chip (MPSoC), called GRAPES. The approach features flexibilit...
133
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Unlike other diversity-based approaches, N-variant systems thwart attacks without requiring secrets. Instead, they use redundancy (to require an attacker to simultaneously comprom...
179
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
The way in which a system’s software archive is partitioned influences the evolvability of that system. The partition of a software archive is mostly assessed by looking at the...