2776 search results - page 306 / 556 » System-Level Abstraction Semantics |
159
click to vote
ASIAN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
176
click to vote
CEEMAS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
168
click to vote
GTTSE
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
186
click to vote
OTM
2007
Springer
16 years 23 days ago
2007
Springer
In this paper we describe a fuzzy Description Logic reasoner which implements resolution in order to provide reasoning services for expressive fuzzy DLs. The main innovation of thi...
179
click to vote
PVM
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The Message Passing Interface provides an interface for onesided communication as part of the MPI-2 standard. The semantics specified by MPI-2 allow for a number of di...