851 search results - page 46 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
SCOPES
2004
Springer
15 years 3 months ago
2004
Springer
Consumers have high expectations about the video and audio quality delivered by media processing devices like TVsets, DVD-players and digital radios. Predictable heterogenous appl...
179
Voted
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
We address the issue of measuring storage, or query load distribution fairness in peer-to-peer data management systems. Existing metrics may look promising from the point of view ...
DSN
2003
IEEE
15 years 3 months ago
2003
IEEE
Many fault-tolerant group communication middleware systems have been implemented assuming crash failure semantics. While this assumption is not unreasonable, it becomes hard to ju...
FC
1999
Springer
15 years 2 months ago
1999
Springer
We analyze “coin-wallet” and “balance-wallet” under partial real-time audit, and compute upper bounds on theft due to the fact that not all the transactions are audited in ...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...