Sciweavers

3914 search results - page 692 / 783
» Automating SLA modeling
Sort
View
157
Voted
MICCAI
1999
Springer
15 years 8 months ago
Statistical 3D Vessel Segmentation Using a Rician Distribution
Abstract. This paper presents an extended version of the fully automated 3D cerebral vessel reconstruction algorithm developed by Wilson and Noble [11] which is applicable to time-...
Albert C. S. Chung, J. Alison Noble
SP
1998
IEEE
116views Security Privacy» more  SP 1998»
15 years 8 months ago
Strand Spaces: Why is a Security Protocol Correct?
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
F. Javier Thayer, Jonathan C. Herzog, Joshua D. Gu...
CAISE
1997
Springer
15 years 8 months ago
Towards Method-Driven Trace Capture
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
Klaus Pohl, Ralf Dömges, Matthias Jarke
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
15 years 8 months ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...
ICSE
1997
IEEE-ACM
15 years 8 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...