119 search results - page 16 / 24 » Dependable systems of the future - What is still needed |
CASES
2005
ACM
13 years 9 months ago
2005
ACM
In Simultaneous Multithreaded (SMT) architectures most hardware resources are shared between threads. This provides a good cost/performance trade-off which renders these architec...
CCR
2004
13 years 7 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
AIMS
2008
Springer
13 years 9 months ago
2008
Springer
In distributed, dynamic networks and applications, such as Peer-to-Peer (P2P), users'behaviour and quality of service/quality of experiment1 are known to influence each other....
ER
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. Requirements Engineering techniques, based on the fundamental notions of agency, i.e., Agent, Goal, and Intentional Dependency, have been recognized as having the potenti...
EUROMICRO
2003
IEEE
14 years 21 days ago
2003
IEEE
The idea of component based software systems has a long tradition in the field of software engineering. Component markets have been an integral part of this idea. However, such ma...