1948 search results - page 240 / 390 » Formalizing Mirror Theory |
209
click to vote
APN
2007
Springer
16 years 24 days ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
165
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
160
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
139
click to vote
ESWS
2007
Springer
16 years 24 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
155
click to vote
MFCS
2007
Springer
16 years 23 days ago
2007
Springer
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...