129 search results - page 24 / 26 » On the Complexity of Reasoning About Dynamic Policies |
172
click to vote
EVOW
2011
Springer
14 years 9 months ago
2011
Springer
This paper extends a previous model where we examined the markets’ microstructure dynamics by using Genetic Programming as a trading rule inference engine, and Self Organizing Ma...
184
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
192
click to vote
BROADNETS
2004
IEEE
15 years 9 months ago
2004
IEEE
Survivability becomes increasingly critical in managing high-speed networks as data traffic continues to grow in both size and importance. In addition, the impact of failures is e...
183
click to vote
OOPSLA
2007
Springer
16 years 5 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
184
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...