2302 search results - page 197 / 461 » Testing as Abstraction |
186
click to vote
AOSE
2007
Springer
16 years 24 days 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 ...
150
click to vote
ATAL
2007
Springer
16 years 24 days 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...
166
click to vote
CMMR
2007
Springer
16 years 23 days 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...
147
click to vote
CP
2007
Springer
16 years 23 days 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...
154
click to vote
CPAIOR
2007
Springer
16 years 23 days 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 ...