1323 search results - page 72 / 265 » Extended Modeling Languages for Interaction Protocol Design |
131
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Over the last decade, institutions have demonstrated that they are a powerful mechanism to make agent interactions more effective, structured, coordinated and efficient. Different...
149
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
154
Voted
OTM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
163
Voted
CGF
2010
15 years 3 months ago
2010
During the development of car engines, regression models that are based on machine learning techniques are increasingly important for tasks which require a prediction of results i...
148
Voted
ICWS
2007
IEEE
15 years 5 months ago
2007
IEEE
Web services are designed to standardize interactions between heterogeneous applications using Internet technologies. Within the framework of Internet search technologies, Web ser...