72 search results - page 8 / 15 » Towards a Mathematical Foundation for Service-Oriented Appli... |
146
click to vote
OOIS
2001
Springer
15 years 10 months 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...
201
click to vote
GIS
2010
ACM
15 years 4 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...
143
click to vote
GIS
2010
ACM
15 years 4 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...
145
click to vote
FMCO
2003
Springer
15 years 11 months 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]....
176
click to vote
WOLLIC
2009
Springer
16 years 17 days 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...