1864 search results - page 156 / 373 » Formal topology and domains |
201
click to vote
ATAL
2011
Springer
14 years 7 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...
196
click to vote
CGI
2006
IEEE
16 years 1 months 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...
192
click to vote
KCAP
2005
ACM
16 years 21 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...
241
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...
171
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...