7209 search results - page 961 / 1442 » Software Engineering for Multi-Agent Systems |
133
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
125
Voted
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
146
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
158
click to vote
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
167
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...