3130 search results - page 70 / 626 » Design Correctness of Digital Systems |
206
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
133
click to vote
TEI
2009
ACM
16 years 11 days ago
2009
ACM
Many research efforts today explore how digitally augmented tables enable face-to-face interaction with digital content and applications. Yet the design of digital tables is still...
153
click to vote
RTCSA
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
152
click to vote
CONCUR
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
148
click to vote
ERCIMDL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes a digital library architecture and implementation that is configurable, extensible and dynamic in the way it presents content and in the services it ...