455 search results - page 20 / 91 » Towards an Extensible Argumentation System |
LCTRTS
1999
Springer
13 years 11 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
POPL
1995
ACM
13 years 11 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
SE
2010
13 years 9 months ago
2010
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....
AOSE
2001
Springer
14 years 1 days ago
2001
Springer
In this paper, we describe the Architecture Description Language (ADL) that we are defining for the design of agentbased systems. This aims at filing the gap between the analysis ...