3801 search results - page 644 / 761 » An Approach to Modeling Software Safety |
SERA
2005
Springer
15 years 3 months ago
2005
Springer
Requirements specifications often make use of a number of scenarios that are interrelated and that depend on each other in many ways. However, they are often treated separately, o...
PRIMA
2004
Springer
15 years 3 months ago
2004
Springer
— Distributed computing systems are increasingly being created as self-organizing collections of many autonomous (human or software) agents cooperating as peers. Peer-to-peer coo...
SAMOS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper presents some interesting concepts of static dataflow machines that can be used by reconfigurable computing architectures. We introduce some data-driven reconf...
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...
GLOBAL
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...