14084 search results - page 189 / 2817 » A Theory for Game Theories |
186
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
Earlier work has developed the underpinnings of IC-Scheduling Theory, an algorithmic framework for scheduling computations having intertask dependencies for Internet-based computi...
170
click to vote
CIE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
161
click to vote
IEEEARES
2006
IEEE
16 years 17 days ago
2006
IEEE
In many reliability studies based on data, reliability engineers face incompleteness and incoherency problems in the data. Probabilistic tools badly handle these kinds of problems...
160
click to vote
FROCOS
2005
Springer
16 years 2 days ago
2005
Springer
In a previous paper, we have introduced a general approach for connecting two many-sorted theories through connection functions that behave like homomorphisms on the shared signatu...
142
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...