2688 search results - page 316 / 538 » A formal semantics for P3P |
191
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
199
click to vote
FMCO
2004
Springer
16 years 1 days ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
164
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...
196
click to vote
WIDM
2003
ACM
15 years 12 months ago
2003
ACM
Ontologies play an important role in the Semantic Web. Currently, several Web ontology languages have been proposed and there has been a substantial effort towards the formalizat...
150
click to vote
CONTEXT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...