921 search results - page 154 / 185 » Expressing Computational Complexity in Constructive Type The... |
MSE
2005
IEEE
14 years 1 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Auctions are useful mechanisms for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders know their own valua...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
SLOGICA
2011
13 years 3 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...