4217 search results - page 33 / 844 » Computational indistinguishability logic |
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
ACSC
2006
IEEE
15 years 1 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
CIE
2006
Springer
15 years 1 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
DALT
2009
Springer
15 years 1 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
CIDR
2003
14 years 11 months ago
2003
This paper surveys distributed computing techniques used in the implementation of BEA WebLogic Server. It discusses how application servers provide a distributed transactional inf...