72 search results - page 8 / 15 » Towards a Mathematical Foundation for Service-Oriented Appli... |
OOIS
2001
Springer
14 years 3 days ago
2001
Springer
The creation of a development process is a challenging task. The application, customization and refinement of generic process models into fine-grained process steps suitable for a...
GIS
2010
ACM
13 years 5 months ago
2010
ACM
Social networking applications have become very important web services that provide Internet-based platforms for their users to interact with their friends. With the advances in t...
GIS
2010
ACM
13 years 5 months ago
2010
ACM
Map matching is a fundamental operation in many applications such as traffic analysis and location-aware services, the killer apps for ubiquitous computing. In the past, several m...
FMCO
2003
Springer
14 years 27 days ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
WOLLIC
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...