Sciweavers

1139 search results - page 53 / 228
» Design and Implementation of a TCG-based Integrity Measureme...
Sort
View
RSP
1999
IEEE
15 years 10 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 9 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...
IADIS
2004
15 years 7 months ago
WETA: Bringing together Mobility and the Web
Currently, most of the web is inaccessible to mobile users. Few pages are designed with anything other than the Desktop PC in mind. The growing number of mobile devices with diffe...
René Hexel, Eko Widjono
ASPDAC
2010
ACM
129views Hardware» more  ASPDAC 2010»
15 years 4 months ago
System-level development of embedded software
Abstract-- Embedded software plays an increasingly important role in implementing modern embedded systems. Development of embedded software, and of Hardware-dependent Software in p...
Gunar Schirner, Andreas Gerstlauer, Rainer Dö...
WICSA
2004
15 years 7 months ago
Software Architecture for Large-Scale, Distributed, Data-Intensive Systems
The sheer amount of data produced by modern science research has created a need for the construction and understanding of "data-intensive systems", largescale, distribut...
Chris Mattmann, Daniel J. Crichton, J. Steven Hugh...