1151 search results - page 41 / 231 » A Generative Approach for Multi-agent System Development |
CCS
2003
ACM
14 years 2 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
MOZ
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Extensible Dependency Grammar (XDG) is a graph description language whose formulas can be solved by constraint programming. XDG is designed so as to yield a declarative a...
INLG
2010
Springer
13 years 6 months ago
2010
Springer
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
In service-based systems, services from various providers can be integrated following specific workflows to achieve users’ goals. These workflows are often executed and coordina...