WOA
2000
13 years 11 months ago
2000
This paper briefly outlines the main characteristics of an ongoing research aimed at developing a support library for implementing systems based on autonomous agents. The library ...
WOA
2000
13 years 11 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
WOA
2000
13 years 11 months ago
2000
Big changes are taking place in the area of information supply and demand on Internet. The first big change, which took place quite a while ago, is related to the type of informat...
WOA
2000
13 years 11 months ago
2000
Descriviamo un sistema di cartella clinica elettronica che utilizza tecnologie internet di seconda generazione, tra le quali XML, XSL, CSS, JavaBeans e InfoBus, per distribuire in...
WOA
2001
13 years 11 months ago
2001
In this paper, we identify and analyze a set of issues that are more and more influencing the characteristics of today's complex software systems, and that distinguish them f...
WOA
2001
13 years 11 months ago
2001
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
WOA
2001
13 years 11 months ago
2001
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
WOA
2001
13 years 11 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
WOA
2001
13 years 11 months ago
2001
WOA
2001
13 years 11 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...