1864 search results - page 156 / 373 » Formal topology and domains |
188
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
181
click to vote
CGI
2006
IEEE
16 years 16 days ago
2006
IEEE
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...
168
click to vote
KCAP
2005
ACM
16 years 1 days ago
2005
ACM
The vision of semantic interoperability, the fluid sharing of digitalized knowledge, has led much research on ontology/schema mapping/aligning. Although this line of research is f...
213
click to vote
FOMI
2009
15 years 4 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
152
click to vote
DEBS
2009
ACM
16 years 1 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...