1116 search results - page 218 / 224 » Applying Predicate Abstraction to Abstract State Machines |
102
click to vote
INFOCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract—Complex networks, modeled as large graphs, received much attention during these last years. However, data on such networks is only available through intricate measuremen...
134
click to vote
BERTINORO
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper describes the application of a decentralised coordination algorithm, called Collaborative Reinforcement Learning (CRL), to two different distributed system pr...
UML
2005
Springer
15 years 4 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
AH
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The PageRank algorithm demonstrates the significance of the computation of document ranking of general importance or authority in Web information retrieval. However, doi...
ESORICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Correlating security alerts and discovering attack strategies are important and challenging tasks for security analysts. Recently, there have been several proposed techni...