1583 search results - page 111 / 317 » Using Multi-context Systems to Engineer Executable Agents |
AVI
1998
13 years 10 months ago
1998
ABSTRACT. The paper presents SIAMOA, a system dedicated for design, debugging and visualisation of algorithms. It combines elements of an algorithm visualisation system and an envi...
AICT
2006
IEEE
14 years 3 months ago
2006
IEEE
A software application has strong relationships with the business processes it supports. In the analysis phase those parts of the processes in which the software system is applied...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
ECAGENTS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper designs an electronic commerce system that integrates conventional electronic commerce services with contemporary WWW advantages, such as comprehensive coverag...
DALT
2006
Springer
14 years 22 days ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...