906 search results - page 14 / 182 » Linking Theories of Concurrency |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
With the recent technological feasibility of electronic commerce over the Internet, much attention has been given to the design of electronic markets for various types of electron...
ACS
2007
14 years 9 months ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
82
Voted
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
ESANN
1997
14 years 11 months ago
1997
I present various systems for the recognition of human faces. They consist of three steps: feature extraction, solving the correspondence problem, and the actual comparison with st...