SC Harvester Papers Database Interface

Specification and Implementation of Multi-Agent Organizations

F. Ghassemi, N. Nematbakhsh, B. T. Ladani, M. Sirjani. In: . 2006

Abstract: Multi-agent systems are used as a solution for complex and distributed systems. Since agents are autonomous they can be coordinated exogenously by a coordination language Reo. Reo coordinates agents without having any knowledge about agents. We apply organizational concepts to analyze and design such systems. In this paper, we propose a formal model to specify the results achieved during these pha...

Using UML to Develop Verifiable Reactive Systems

Fatemeh Alavizadeh, M. Sirjani. In: . 2006

OPERATIONAL SEMANTICS FOR AN ACTOR-BASED LANGUAGE

M. Sirjani, N. Razavi, E. Mousavi, A. Movaghar. In: . 2006

Improving Packaged Software through Community Knowledge

H. Holmström, O. Henfridsson. In: Scandinavian Journal of Information Systems. 2006

The Irish Bridge : A two-sided perspective on the customer-vendor relationship in offshore sourcing

H. Holmström, Eoin Ó Conchúir, Pär J. Ågerfalk, Brian Fitzgerald. 2006

Evaluating E-Business and Gigabit Switches with Quint

O. Leifler. 2006

Abstract: The implications of autonomous communication have been far-reaching and pervasive. In our research, we verify the development of DHCP. in order to surmount this challenge, we construct an analysis of local-area networks (Quint), which we use to prove that the well-known certifiable algorithm for the visualization of telephony by J. Gupta runs in O(n) time....

Creating Virtual Prototypes of Complex MEMS Transducers Using Reduced-Order Modelling Methods and VHDL-AMS

Torsten Mähne, K. Kehr, A. Franke, J. Hauer, B. Schmidt. In: . 2006

CORRECT Developing Fault-Tolerant Distributed Systems

Alfredo Capozucca, B. Gallina, N. Guelfi, Patrizio Pelliccione, A. Romanovsky. In: Ercim News. 2006

Techniques for software implemented fault tolerance

Ruben Alexandersson. In: . 2006

How something can be said about Telling More Than We Can Know: Reply to Moore and Haggard

Lars Hall, Petter Johansson, S. Sikström, Betty Tärning, A. Lind. In: . 2006

Reply Reply to commentary by Moore and Haggard q

Lars Hall, Petter Johansson, S. Sikström, Betty Tärning, A. Lind. 2006

Choice Blindness: The Incongruence of Intention, Action and Introspection

Petter Johansson. In: . 2006

Heapy: A Memory Profiler and Debugger for Python

S. Nilsson. In: . 2006

Algorithms for Infeasible Path Calculation

J. Gustafsson, Andreas Ermedahl, B. Lisper. In: . 2006

Feedback report on requirements from other working groups

U. Assmann, J. Henriksson, K. Sandahl. 2006