3381 search results - page 545 / 677 » Extending Dependencies with Conditions |
215
click to vote
TCS
2008
15 years 6 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
154
click to vote
TIT
2008
15 years 6 months ago
2008
The problem of computing functions of values at the nodes in a network in a fully distributed manner, where nodes do not have unique identities and make decisions based only on loc...
147
click to vote
JCM
2007
15 years 6 months ago
2007
— This paper is a sequel of previous work, in which we proposed a model and computational technique to calculate the Erlang capacity of a single CDMA cell that supports elastic s...
192
click to vote
JLP
2007
15 years 6 months ago
2007
The algebra of communicating shared resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
188
Voted
AIL
2004
15 years 6 months ago
2004
In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between...