—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
Johannes Passing, Alexander Schmidt, Martin von L&...
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Most of the available knowledge management systems pay little attention to two important aspects: the need of supporting emerging communities of interest together with the officia...
Alessandra Agostini, Sara Albolino, Giorgio De Mic...
Huge masses of digital data about products, customers and competitors have become available for companies in the services sector. In order to exploit its inherent (and often hidde...
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...