7340 search results - page 293 / 1468 » The Behavior of Tutoring Systems |
178
click to vote
ASPDAC
2004
ACM
16 years 1 days ago
2004
ACM
Abstract— We describe dynamic voltage scaling (DVS) algorithms for real-time systems with both periodic and aperiodic tasks. Although many DVS algorithms have been developed for ...
178
click to vote
MOBICOM
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...
135
click to vote
ISSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
161
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
188
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...