4126 search results - page 413 / 826 » Relationships with other Formalisms |
169
click to vote
CIE
2005
Springer
16 years 12 days ago
2005
Springer
• We produce a classification of the pointclasses of sets of reals produced by infinite time turing machines with 1-tape. The reason for choosing this formalism is that it appa...
177
click to vote
COCOON
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. The infrastructure for mobile distributed tasks is often formed by cellular networks. One of the major issues in such networks is interference. In this paper we tackle in...
213
click to vote
FASE
2005
Springer
16 years 12 days ago
2005
Springer
Model Transformation has become central to most software engineering activities. It refers to the process of modifying a (usually graphical) model for the purpose of analysis (by i...
148
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
In this paper we study the link between formal and cryptographic models for security protocols in the presence of a passive adversary. In contrast to other works, we do not conside...
234
click to vote
ICNC
2005
Springer
16 years 11 days ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...