5639 search results - page 527 / 1128 » Timed Abstract Non-interference |
157
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— We consider the problem of power controlled minimum frame length scheduling for TDMA wireless networks. Given a set of one-hop transmission requests, our objective is t...
142
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...
134
click to vote
ISPDC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract. Grid architectures are execution environments that are known to be at the same time distributed, parallel, heterogeneous and dynamic. While current tools focus solutions ...
146
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract: Evidence of some attacks can be manifested by abnormal sequences of system calls of programs. Most approaches that have been developed so far mainly concentrate on some p...
160
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...