9873 search results - page 427 / 1975 » Emergent Semantics Systems |
186
click to vote
TYPES
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
190
click to vote
PACT
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...
167
click to vote
CONCUR
2005
Springer
16 years 1 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
206
click to vote
SUM
2010
Springer
15 years 5 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
215
click to vote
WETICE
2006
IEEE
16 years 1 months ago
2006
IEEE
The incorporation of exception handling strategies in mobile collaborative applications bring several challenges to middleware designers due to their intrinsic characteristics of ...