50 search results - page 3 / 10 » A first tutorial on dataspaces |
SIGCSE
2002
ACM
13 years 5 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
TGC
2007
Springer
13 years 11 months ago
2007
Springer
Secure information flow analysis aims to prevent programs from leaking their H (high) inputs to their L (low) outputs. A major challenge in this area is to relax the standard noni...
WSC
1997
13 years 7 months ago
1997
The Arena modeling system from Systems Modeling Corporation is a flexible and powerful tool that allows analysts to create animated simulation models that accurately represent vir...
VLSID
2005
IEEE
13 years 11 months ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
ICCAD
1996
IEEE
13 years 9 months ago
1996
IEEE
This paper presents a tutorial on mixed-signal testing. Our focus is on testing the analog portion of the mixed-signal device, as the digital portion is handled in the usual way. ...