Sciweavers

22560 search results - page 243 / 4512
» Development of Transportation Systems
Sort
View
FUIN
2008
81views more  FUIN 2008»
15 years 6 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
AAMAS
2004
Springer
15 years 6 months ago
Temporal Development Methods for Agent-Based
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
Michael Fisher
SYNASC
2005
IEEE
119views Algorithms» more  SYNASC 2005»
16 years 7 days ago
A Reference Implementation of ADF (Agent Developing Framework): Semantic Web-Based Agent Communication
The purpose of this paper is to present the main characteristics of ADF, an open source agent developing platform with a focus on agent collaboration. The basic architecture of th...
Catalin Hritcu, Sabin C. Buraga
KBSE
1998
IEEE
15 years 11 months ago
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
Armando Martin Haeberer, T. S. E. Maibaum
138
Voted
PROFES
2005
Springer
16 years 5 days ago
Using the MOWAHS Characterisation Framework for Development of Mobile Work Applications
This paper describes an evaluation of a characterisation framework to analyse mobile work scenarios in order to make corresponding software systems. The framework identifies comple...
Alf Inge Wang, Carl-Fredrik Sørensen, Heri ...