7891 search results - page 589 / 1579 » A Distributed Scheduling Framework |
198
click to vote
ESORICS
2007
Springer
15 years 11 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
221
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
172
click to vote
JSAC
2006
15 years 7 months ago
2006
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
211
click to vote
TWC
2008
15 years 7 months ago
2008
This paper analyzes distributed asynchronous power and rate control for wireless ad hoc networks. Importantly, all network transmitters are considered to be independent of any mana...
210
click to vote
TPDS
2008
15 years 6 months ago
2008
The internet and related technologies have made multidomain collaborations a reality. Collaboration enables domains to effectively share resources; however, it introduces several s...