1494 search results - page 33 / 299 » Monitored Software Components - A Novel Software Engineering... |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
We describe an architecture-centric design and implementation approach for building self-adapting and selfmanaging robotics systems. The basis of our approach is the concept of me...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
15 years 3 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
100
click to vote
SELMAS
2005
Springer
15 years 3 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...
102
click to vote
COMPSAC
2007
IEEE
14 years 10 months ago
2007
IEEE
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...