Sciweavers

64 search results - page 9 / 13
» Simulation Verification and Validation by Dynamic Policy Enf...
Sort
View
INFOCOM
2012
IEEE
11 years 10 months ago
Delay and rate-optimal control in a multi-class priority queue with adjustable service rates
—We study two convex optimization problems in a multi-class M/G/1 queue with adjustable service rates: minimizing convex functions of the average delay vector, and minimizing ave...
Chih-Ping Li, Michael J. Neely
CCS
2009
ACM
14 years 8 months ago
Lightweight self-protecting JavaScript
This paper introduces a method to control JavaScript execution. The aim is to prevent or modify inappropriate behaviour caused by e.g. malicious injected scripts or poorly designe...
Phu H. Phung, David Sands, Andrey Chudnov
AES
2008
Springer
97views Cryptology» more  AES 2008»
13 years 7 months ago
Software mechanisms for extensible and scalable 3D visualization of construction operations
This paper presents research that led to the design and implementation of an extensible and scalable software framework for the dynamic 3D visualization of simulated construction ...
Vineet R. Kamat, Julio C. Martínez
SIGMETRICS
2003
ACM
165views Hardware» more  SIGMETRICS 2003»
14 years 22 days ago
A hybrid systems modeling framework for fast and accurate simulation of data communication networks
In this paper we present a general hybrid systems modeling framework to describe the flow of traffic in communication networks. To characterize network behavior, these models use...
Stephan Bohacek, João P. Hespanha, Junsoo L...
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
14 years 23 days ago
An Analytical Model for Predicting the Remaining Battery Capacity of Lithium-Ion Batteries
Predicting the residual energy of the battery source that powers a portable electronic device is quite important in designing and employing an effective dynamic power management p...
Peng Rong, Massoud Pedram