2302 search results - page 197 / 461 » Testing as Abstraction |
207
click to vote
AOSE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
176
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
186
click to vote
CMMR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The current study is part of a larger project aiming at offering intuitive mappings of control parameters piloting synthesis models by semantic descriptions of sounds, i...
164
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
166
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This work presents methods for processing a constraint satisfaction problem (CSP) formulated by an expression-based language, before the CSP is presented to a stochastic ...