Sciweavers

3943 search results - page 320 / 789
» Architecture-Level Requirements Specification
Sort
View
141
Voted
CRYPTO
1998
Springer
109views Cryptology» more  CRYPTO 1998»
15 years 11 months ago
Self-Delegation with Controlled Propagation - or - What If You Lose Your Laptop
We introduce delegation schemes wherein a user may delegate certain rights to himself, but may not safely delegate these rights to others. In our motivating application, a user ha...
Oded Goldreich, Birgit Pfitzmann, Ronald L. Rivest
ECBS
1997
IEEE
144views Hardware» more  ECBS 1997»
15 years 11 months ago
An analysis of the Ariane 5 flight 501 failure-a system engineering perspective
The report issued by the Inquiry Board in charge of inspecting the Ariane 5 flight 501 failure concludes that causes of the failure are rooted into poor S/W Engineering practice. ...
Gérard Le Lann
FTDCS
1997
IEEE
15 years 11 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
LCTRTS
1998
Springer
15 years 11 months ago
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
Gaurav Arora, David B. Stewart
MABS
1998
Springer
15 years 11 months ago
Multi-Agent Architecture Integrating Heterogeneous Models of Dynamical Processes: The Representation of Time
Multi-agent simulations aim at representing the dynamics of complex systems as resulting from multiple interactions between autonomous entities including their own perception of lo...
Edem Fianyo, Jean-Pierre Treuil, Edith Perrier, Yv...