Sciweavers

4151 search results - page 675 / 831
» Language Driven System Design
Sort
View
WWW
2004
ACM
16 years 3 months ago
Structuring and presenting annotated media repositories
We generate hypermedia presentations from annotated media repositories using simple document structure as an intermediate phase. This poster applies Web style technologies to this...
Lloyd Rutledge, Jacco van Ossenbruggen, Lynda Hard...
WWW
2002
ACM
16 years 3 months ago
Multimedia meets computer graphics in SMIL2.0: a time model for the web
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...
Patrick Schmitz
ASPLOS
2009
ACM
16 years 3 months ago
Complete information flow tracking from the gates up
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
Mohit Tiwari, Hassan M. G. Wassel, Bita Mazloom, S...
223
Voted
SIGMOD
2007
ACM
157views Database» more  SIGMOD 2007»
16 years 2 months ago
Compiling mappings to bridge applications and databases
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...
Sergey Melnik, Atul Adya, Philip A. Bernstein
DATE
2008
IEEE
157views Hardware» more  DATE 2008»
15 years 9 months ago
Logical Reliability of Interacting Real-Time Tasks
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. H...