Sciweavers

314 search results - page 29 / 63
» Resource control of object-oriented programs
Sort
View
78
Voted
ESORICS
2006
Springer
15 years 1 months ago
A Formal Model of Access Control for Mobile Interactive Devices
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
Frédéric Besson, Guillaume Dufay, Th...
MICRO
1996
IEEE
97views Hardware» more  MICRO 1996»
15 years 1 months ago
Modulo Scheduling of Loops in Control-intensive Non-numeric Programs
Much of the previous work on modulo scheduling has targeted numeric programs, in which, often, the majority of the loops are well-behaved loop-counter-based loops without early ex...
Daniel M. Lavery, Wen-mei W. Hwu
CSL
2005
Springer
15 years 3 months ago
Distributed Control Flow with Classical Modal Logic
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
Tom Murphy VII, Karl Crary, Robert Harper
90
Voted
INFOCOM
2002
IEEE
15 years 2 months ago
Optimal Energy Allocation and Admission Control for Communications Satellites
—We address the issue of optimal energy allocation and admission control for communications satellites in earth orbit. Such satellites receive requests for transmission as they o...
Alvin Fu, Eytan Modiano, John N. Tsitsiklis
SECURWARE
2008
IEEE
15 years 4 months ago
Email Worm Mitigation by Controlling the Name Server Response Rate
Email worms and the spam associated with them are one of the main operational security issues today because they waste time, money and resources. The high incidence of email worms...
Nikolaos Chatzis, Enric Pujol