3812 search results - page 129 / 763 » Combinations of TRAP Based Systems |
134
click to vote
DEON
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
136
click to vote
WOLLIC
2009
Springer
16 years 2 days ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...
151
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
254
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper, we introduce the combinatorial auction model for resource management in grids. We propose a combinatorial auction-based resource allocation protocol in which a user...
138
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a new technology that accelerates system verification. In a real life example, we achieved a speed-up of a factor of about 5000. The key for this speed-up is a...