1454 search results - page 120 / 291 » Stateful traits and their formalization |
193
click to vote
COORDINATION
2007
Springer
16 years 1 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 ...
221
click to vote
ESWS
2007
Springer
16 years 1 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 ...
199
Voted
SEFM
2005
IEEE
16 years 16 days 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 ...
173
Voted
ACII
2005
Springer
16 years 15 days 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...
168
click to vote
ARGMAS
2005
Springer
16 years 15 days 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...