22560 search results - page 243 / 4512 » Development of Transportation Systems |
157
click to vote
FUIN
2008
15 years 7 months ago
2008
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...
198
click to vote
AAMAS
2004
Springer
15 years 7 months ago
2004
Springer
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...
194
click to vote
SYNASC
2005
IEEE
16 years 23 days ago
2005
IEEE
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...
200
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
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...
157
click to vote
PROFES
2005
Springer
16 years 21 days ago
2005
Springer
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...