3899 search results - page 401 / 780 » Argumentation for Access Control |
201
Voted
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
163
click to vote
HT
1996
ACM
15 years 11 months ago
1996
ACM
Computing support forlargeengineeringenterprisesprovides an example of the need for hypermedia-based collaborative computing systems composed of a large number of distributed hete...
221
click to vote
ECHT
1992
15 years 11 months ago
1992
An approach to exible hyperbase hypertext database support predicated on the notion of extensibility is presented. The extensible hypertext platform Hyperform implements basic hyp...
206
Voted
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
A number of wireless sensor network (WSN) applications demand timely data delivery. However, existing WSNs are designed to conserve energy and not to support timely data transmissi...
173
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
2009
IEEE
A complete system which ensures reliable transmission of streaming flows in Flow-Aware Networks (FAN) is presented and analyzed in the paper. A new congestion control mechanism, ca...