2688 search results - page 132 / 538 » A formal semantics for P3P |
176
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
161
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a modular framework for formalizing reasoning with incomplete and inconsistent information. This framework is composed of non-deterministic semantic structur...
179
click to vote
ATVA
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
115
click to vote
DALT
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
147
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [...