Sciweavers

283 search results - page 24 / 57
» Software Inspections We Can Trust
Sort
View
APLAS
2004
ACM
15 years 2 months ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
82
Voted
WCRE
2008
IEEE
15 years 3 months ago
A Bayesian Network Based Approach for Change Coupling Prediction
Source code coupling and change history are two important data sources for change coupling analysis. The popularity of public open source projects in recent years makes both sourc...
Yu Zhou, Michael Würsch, Emanuel Giger, Haral...
IFIP
2010
Springer
14 years 4 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...
CHES
2006
Springer
179views Cryptology» more  CHES 2006»
15 years 1 months ago
Offline Hardware/Software Authentication for Reconfigurable Platforms
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
Eric Simpson, Patrick Schaumont
95
Voted
SEKE
2007
Springer
15 years 3 months ago
Towards Domain-Centric Ontology Development and Maintenance Frameworks
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
Faezeh Ensan, Weichang Du