Sciweavers

60 search results - page 9 / 12
» Towards the Complexity of Riemann Mappings (Extended Abstrac...
Sort
View
ACSAC
2002
IEEE
14 years 26 days ago
Composable Tools For Network Discovery and Security Analysis
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
Giovanni Vigna, Fredrik Valeur, Jingyu Zhou, Richa...
MSV
2007
13 years 9 months ago
FMC-QE: A New Approach in Quantitative Modeling
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
Werner Zorn
LFCS
2007
Springer
14 years 2 months ago
Verifying Balanced Trees
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
Zohar Manna, Henny B. Sipma, Ting Zhang
DAGSTUHL
2003
13 years 9 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
SOFTVIS
2006
ACM
14 years 1 months ago
Multiscale and multivariate visualizations of software evolution
Software evolution visualization is a promising technique for assessing the software development process. We study how complex correlations of software evolution attributes can be...
Lucian Voinea, Alexandru Telea