1454 search results - page 120 / 291 » Stateful traits and their formalization |
105
Voted
COORDINATION
2007
Springer
15 years 7 months ago
2007
Springer
We present a generalized committed choice construct for concurrent programs that interact with a shared store. The generalized committed choice (GCC) allows multiple computations ...
128
click to vote
ESWS
2007
Springer
15 years 7 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
110
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
86
Voted
ACII
2005
Springer
15 years 6 months ago
2005
Springer
We propose an architecture of an embodied conversational agent that takes into account two aspects of emotions: the emotions triggered by an event (the felt emotions) and the expre...
93
Voted
ARGMAS
2005
Springer
15 years 6 months ago
2005
Springer
One form of argument-based negotiation is when agents argue about why an offer was rejected. If an agent can state a reason for a rejection of an offer, the negotiation process m...