899 search results - page 19 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
AOSE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
COLING
2000
13 years 10 months ago
2000
This paper explores the usefltllmss of a technique from software engineering, (:ode instrumentation, tbr the developlnent of large-scale natural language grammars, hltbrlnation ab...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper is concerned with global asymptotic output synchronization in networks of identical feedback systems. Using an operator theoretic approach based on an incremental small ...
RE
2008
Springer
13 years 8 months ago
2008
Springer
For several decades there has been a debate in the computing sciences about the relative roles of design and empirical research, and about the contribution of design and research ...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...