Sciweavers

841 search results - page 91 / 169
» A secure architectural description language for agent system...
Sort
View
ATAL
2008
Springer
15 years 8 months ago
Agent-community-network-based business matching and collaboration support system
Business matching and collaboration support systems are useful, in particular for small-and-medium companies. Most of them developed so far are based on the server-client architect...
Tsunenori Mine, Kosaku Kimura, Satoshi Amamiya, Ke...
IEEEARES
2006
IEEE
16 years 6 days ago
Modeling permissions in a (U/X)ML world
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
Muhammad Alam, Ruth Breu, Michael Hafner
ICFEM
1998
Springer
15 years 9 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
IPPS
2006
IEEE
16 years 6 days ago
TPCC-UVa: an open-source TPC-C implementation for parallel and distributed systems
This paper presents TPCC-UVa, an open-source implementation of the TPC-C benchmark intended to be used in parallel and distributed systems. TPCC-UVa is written entirely in C langu...
Diego R. Llanos Ferraris, Belén Palop
ATAL
2005
Springer
15 years 11 months ago
Generating intentions through argumentation
In this paper we consider how a BDI agent might determine its best course of action. We draw on previous work which has presented a model of persuasion over action and we discuss ...
Katie Atkinson, Trevor J. M. Bench-Capon, Peter Mc...