2688 search results - page 409 / 538 » A formal semantics for P3P |
193
Voted
DEXA
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
192
Voted
ACIIDS
2009
IEEE
16 years 3 days ago
2009
IEEE
— In this paper I show how ontologies support the student modelling through the semantic definition of concepts that depict a student. The aim is to outline the framework for bui...
168
Voted
DEXAW
2002
IEEE
15 years 12 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
223
Voted
ICDCSW
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper we focus on the design of high performance peer-to-peer content sharing systems. In particular, our goal is to achieve global load balancing and short user-request r...
163
click to vote
VL
2002
IEEE
15 years 12 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...