Sciweavers

396 search results - page 2 / 80
» A Software Component Model and Its Preliminary Formalisation
Sort
View
139
Voted
IFIP
2010
Springer
14 years 10 months ago
A Formal Analysis of Authentication in the TPM
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers to achieve a greater level of security than is possible in software alone. To this end, the TPM pr...
Stéphanie Delaune, Steve Kremer, Mark Dermo...
116
Voted
CBSE
2007
Springer
15 years 10 months ago
Towards Composing Software Components in Both Design and Deployment Phases
In component-based software development, the design of components should be carried out separately from the deployment of components, in order to enable composition by independent ...
Kung-Kiu Lau, Ling Ling, Perla Velasco Elizondo
128
Voted
ASWEC
2006
IEEE
15 years 9 months ago
Assessing Security Properties of Software Components: A Software Engineer's Perspective
The paper proposes an assessment scheme for the security properties of software components. The proposed scheme consists of three stages: (i) a system-specific security requireme...
Khaled M. Khan, Jun Han
131
Voted
IWSSD
2000
IEEE
15 years 8 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
145
Voted
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
15 years 9 months ago
A QoS Metamodel and its Realization in a CORBA Component Infrastructure
This paper presents a generic model driven approach to enable Quality of Service (QoS) modeling and realization for component based middleware platforms. We describe a QoS metamod...
Tom Ritter, Marc Born, Thomas Unterschütz, To...