4286 search results - page 559 / 858 » Formalizing Service Interactions |
133
click to vote
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
The paper aims at illustrating the original technical solution provided within an academic institute in order to manage teaching activities, encompassing the coordination of projec...
148
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
128
Voted
IRI
2006
IEEE
15 years 10 months ago
2006
IEEE
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
171
click to vote
TIME
2006
IEEE
15 years 10 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
144
click to vote
CIMCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...