547 search results - page 62 / 110 » Supporting Requirements Analysis in Tropos: A Planning-Based... |
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Today verification, testing and debugging of SystemC models can be applied at an early stage in the design process. To support these techniques gaining required information of ...
ERCIMDL
2009
Springer
14 years 2 months ago
2009
Springer
In recent years information systems such as digital repositories, built to support research practice, have struggled to encourage participation partly due to inadequate analysis of...
LADS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
SGAI
2007
Springer
14 years 2 months ago
2007
Springer
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language...