2688 search results - page 266 / 538 » A formal semantics for P3P |
184
click to vote
DSS
2008
15 years 6 months ago
2008
The creation and deployment of knowledge repositories for managing, sharing, and reusing tacit knowledge within an organization has emerged as a prevalent approach in current know...
191
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
Traditional process support systems typically offer a static composition of atomic tasks to more powerful services. In the real world, however, processes change over time: busines...
194
click to vote
ECCC
2008
15 years 6 months ago
2008
We continue the investigation of the task of meaningful communication among intelligent entities (players, agents) without any prior common language. Our generic thesis is that su...
204
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
172
click to vote
ESWS
2007
Springer
16 years 26 days ago
2007
Springer
WSML is an ontology language specifically tailored to annotate Web Services, and part of its semantics adheres to the rule-based knowledge representation paradigm of logic program...