2989 search results - page 309 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
185
click to vote
WEBI
2010
Springer
15 years 4 months ago
2010
Springer
Today's world is characterized by the multiplicity of interconnections through many types of links between the people, that is why mining social networks appears to be an impo...
168
click to vote
DSOM
2007
Springer
16 years 26 days ago
2007
Springer
This paper deals with the Change Management process within IT Service Management. Change Management includes several activities, some of which need to evaluate the risk exposure as...
164
Voted
IPCCC
2006
IEEE
16 years 21 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...
168
click to vote
CSMR
2005
IEEE
16 years 9 days ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...
171
click to vote
FM
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...