Sciweavers

396 search results - page 2 / 80
» A Software Component Model and Its Preliminary Formalisation
Sort
View
IFIP
2010
Springer
13 years 19 days 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...
CBSE
2007
Springer
13 years 12 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
ASWEC
2006
IEEE
13 years 12 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
IWSSD
2000
IEEE
13 years 10 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...
HICSS
2003
IEEE
179views Biometrics» more  HICSS 2003»
13 years 11 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...