523 search results - page 55 / 105 » Goal-Oriented Requirements Engineering: A Case Study in E-go... |
112
click to vote
VSTTE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
104
click to vote
INFSOF
2007
15 years 1 months ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
101
click to vote
ER
2004
Springer
15 years 6 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
126
click to vote
SELMAS
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...