1888 search results - page 119 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
121
click to vote
ESORICS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
149
click to vote
COMCOM
1998
15 years 3 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
138
Voted
MOBISYS
2006
ACM
16 years 3 months ago
2006
ACM
The majority of security schemes available for sensor networks assume deployment in areas without access to a wired infrastructure. More specifically, nodes in these networks are ...
110
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
122
click to vote
CICLING
2008
Springer
15 years 5 months ago
2008
Springer
In this article, we present the basic ideas of creating a new information-rich lexical database of Dutch, called Cornetto, that is interconnected with corresponding English synsets...