Sciweavers

3814 search results - page 154 / 763
» Operating system support for multimedia systems
Sort
View
SOSP
2005
ACM
16 years 1 months ago
Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
Arvind Seshadri, Mark Luk, Elaine Shi, Adrian Perr...
ITS
2004
Springer
115views Multimedia» more  ITS 2004»
15 years 9 months ago
Evaluating the Effectiveness of a Tutorial Dialogue System for Self-Explanation
Previous research has shown that self-explanation can be supported effectively in an intelligent tutoring system by simple means such as menus. We now focus on the hypothesis that ...
Vincent Aleven, Amy Ogan, Octav Popescu, Cristen T...
WORDS
2003
IEEE
15 years 9 months ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro
SMC
2007
IEEE
122views Control Systems» more  SMC 2007»
15 years 10 months ago
Can complexity science support the engineering of critical network infrastructures?
— Considerable attention is now being devoted to the study of “complexity science” with the intent of discovering and applying universal laws of highly interconnected and evo...
David Alderson, John C. Doyle
CSMR
2005
IEEE
15 years 10 months ago
Clustering Data Retrieved from Java Source Code to Support Software Maintenance: A Case Study
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
Dimitris Rousidis, Christos Tjortjis