4290 search results - page 827 / 858 » Formal Approaches to Teamwork |
105
click to vote
COORDINATION
2004
Springer
15 years 5 months ago
2004
Springer
The increasing ubiquity of mobile devices has led to an explosion in the development of applications tailored to the particular needs of individual users. As the research communit...
SELMAS
2004
Springer
15 years 5 months ago
2004
Springer
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
106
click to vote
EUROMICRO
2003
IEEE
15 years 5 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
IWPSE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
105
click to vote
MEMOCODE
2003
IEEE
15 years 5 months ago
2003
IEEE
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...