2373 search results - page 370 / 475 » On the Theory of Structural Subtyping |
157
click to vote
SPAA
2005
ACM
15 years 12 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
165
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. High-Level net models following the paradigm “nets as tokens” have been studied already in the literature with several interesting applications. In this paper we prop...
190
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
183
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
186
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we present a constraint-partitioning approach for finding local optimal solutions of large-scale mixed-integer nonlinear programming problems (MINLPs). Ba...