2422 search results - page 227 / 485 » Security Policy Consistency |
184
click to vote
FSEN
2007
Springer
16 years 25 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
201
click to vote
COORDINATION
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
147
click to vote
EDOC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
122
click to vote
DISCEX
2003
IEEE
15 years 12 months ago
2003
IEEE
1 TetherNet is a system for dynamically relocating Internet subnets. It provides real Internet service consisting of real IP addresses, and forward and reverse DNS, even behind NAT...
189
click to vote
CHES
2003
Springer
15 years 12 months ago
2003
Springer
A true random number generator (TRNG) usually consists of two components: an “unpredictable” source with high entropy, and a randomness extractor — a function which, when app...