2687 search results - page 84 / 538 » Formal Analysis of PKCS |
133
click to vote
SIGCOMM
2012
ACM
13 years 3 months ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
122
click to vote
TKDE
2012
13 years 3 months ago
2012
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
105
Voted
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
129
Voted
AGTIVE
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. This paper presents the role of meta-modelling and graph transformation in our approach for the modelling, analysis and simulation of complex systems. These are made of c...
100
Voted
WSC
2004
15 years 2 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...