1150 search results - page 76 / 230 » Specifying Information-Flow Controls |
GAMESEC
2010
13 years 8 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 ...
ICIP
2004
IEEE
14 years 12 months ago
2004
IEEE
The H.264/AVC video coding standard has been recently proposed by the Joint Video Team of ITU-T and MPEG experts. The AVC encoder achieves video bitstreams at the same quality as ...
AIIA
2005
Springer
14 years 11 days ago
2005
Springer
In this paper we are interested in argument based reasoning for access control, for example in the context of agents negotiating access to resources or web services in virtual orga...
FUIN
2007
13 years 10 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...
CUZA
2002
13 years 10 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...