453 search results - page 19 / 91 » Controllability analysis for current profile control in toka... |
TDSC
2008
13 years 7 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
GAMESEC
2010
13 years 5 months ago
2010
We consider a multi-criteria control problem that arises in a delay tolerant network with two adversarial controllers: the source and the jammer. The source's objective is to ...
WOWMOM
2009
ACM
14 years 2 months ago
2009
ACM
It is well known that channel-dependent OFDMA resource assignment algorithms provide a significant performance improvement compared to static (i.e. channelunaware) approaches. Su...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Most Internet telephony applications currently use either TCP or UDP to carry their voice-over-IP (VoIP) traffic. This choice can be problematic, because TCP is not well suite...
BMCBI
2008
13 years 7 months ago
2008
Background: Understanding how genes are expressed and regulated in different tissues is a fundamental and challenging question. However, most of currently available biological dat...