1948 search results - page 167 / 390 » Formalizing Mirror Theory |
153
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....
200
click to vote
CCS
2005
ACM
16 years 16 days ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
167
click to vote
SEMWEB
2005
Springer
16 years 14 days ago
2005
Springer
The paper reports on the formal framework to design strategies for multi-issue non-symmetric meaning negotiations among software agents in a distributed information retrieval syste...
164
click to vote
TPHOL
2003
IEEE
16 years 7 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
194
click to vote
AGENTCL
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. The capabilities for agents in a team to anticipate informationneeds of teammates and proactively offer relevant information are highly desirable. However, such behavior...