1581 search results - page 177 / 317 » Domain semantics of possibility computations |
144
click to vote
POLICY
2001
Springer
15 years 8 months ago
2001
Springer
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
157
click to vote
GLVLSI
2000
IEEE
15 years 8 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
134
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper proposes a family of replication protocols based on group communication in order to address some of the concerns expressed by database designers regarding existing repl...
143
click to vote
SCCC
1998
IEEE
15 years 8 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
109
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...