14084 search results - page 169 / 2817 » A Theory for Game Theories |
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. Basically, the connection of two many-sorted theories is obtained by taking their disjoint union, and then connecting the two parts through connection functions that must...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
This paper outlines an approach of using engineeringoriented design theories to build bridges between software engineering and human?computer interaction. The main thrust of the a...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper explores the use of SAT-Modulo Theory in determination of bit-widths for finite precision implementation of numerical calculations, specifically in the context of sci...
TGC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...