4290 search results - page 57 / 858 » Formal Approaches to Teamwork |
144
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
142
click to vote
FASE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
150
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
170
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
156
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...