4286 search results - page 353 / 858 » Formalizing Service Interactions |
144
click to vote
HUC
2010
Springer
15 years 7 months ago
2010
Springer
Current mobile browser capabilities make it possible to quickly develop advanced mobile location based services without having to write device specific software, or build custom h...
180
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
With the emergence of Yahoo Pipes and several similar services, data mashup tools have started to gain interest of business users. Making these tools simple and accessible to user...
197
click to vote
IUI
2004
ACM
16 years 2 days ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
187
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
169
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...