2944 search results - page 231 / 589 » Robust Semantic Construction |
145
click to vote
CEEMAS
2001
Springer
15 years 11 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
172
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper proposes extensions to the VHDL grammar and de nes new semantics in the language to model the timing behavior of high frequency buses and clock lines with multiple, dis...
157
click to vote
ATAL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...
159
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
paper we present an abstract agent programming language and its operational semantics which can be used to implement cognitive agents. This language consists of programming constr...
170
click to vote
ISMVL
2010
IEEE
15 years 8 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...