786 search results - page 49 / 158 » A static theory of promises |
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
SEMWEB
2007
Springer
15 years 4 months ago
2007
Springer
Ontology mapping is to find semantic correspondences between similar elements of different ontologies. It is critical to achieve semantic interoperability in the WWW. This paper pr...
ICALT
2006
IEEE
15 years 4 months ago
2006
IEEE
Social software, such as blogs, wikis, tagging systems and collaborative filters, treats the group as a first-class object within the system. Drawing from theories of transactiona...
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
OR
2005
Springer
2005
Springer
Robustness in the Context of Autonomous Cooperating Logistic Processes: A Sustainability Perspective
15 years 3 months ago
Abstract. Autonomous cooperating logistic processes seem to be a promising approach to increase the robustness of logistics systems. Searching for the necessary organizational prer...