1573 search results - page 150 / 315 » Signs and Formal Concepts |
147
click to vote
IEEEIAS
2007
IEEE
16 years 14 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
174
Voted
CEEMAS
2007
Springer
16 years 11 days ago
2007
Springer
To allow for flexibility in software structures (architectures) especially plugins and agents are proposed solutions. While plugins are used to support the conceptual and practica...
159
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
This paper aims to bring the benefits of the use of Category Theory to the field of Semantic Web, where the coexistence of intrinsically different models of local knowledge mak...
142
click to vote
ESAS
2007
Springer
16 years 10 days ago
2007
Springer
—Nowadays, users are increasingly concerned about individual privacy in cyberspace and Internet. In this paper, we propose the concept of private handshakes with optional account...
151
click to vote
ICCS
2007
Springer
16 years 10 days ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...