8083 search results - page 268 / 1617 » A Formalization of Software Architecture |
173
Voted
JAR
2008
15 years 6 months ago
2008
The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the f...
178
click to vote
LOGCOM
2002
15 years 6 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
151
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
267
click to vote
VLDB
2001
ACM
16 years 6 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
217
click to vote
DFKI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We introduce an integrated approach to the conceptualisation, implementation and evaluation of a MAS (multi-agent system) which is based on sociological concepts of pract...