136 search results - page 15 / 28 » Complexity Results for 1-safe Nets |
118
click to vote
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
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...
129
Voted
STOC
2010
ACM
15 years 6 months ago
2010
ACM
There has been much progress on geometric set cover problems, but most known techniques only apply to the unweighted setting. For the weighted setting, very few results are known ...
116
click to vote
MASCOTS
2003
15 years 3 months ago
2003
Scalability is the primary challenge to studying large complex network systems with network emulation. This paper studies topology partitioning, assigning disjoint pieces of the n...
94
Voted
WEBI
2005
Springer
15 years 7 months ago
2005
Springer
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
109
click to vote
ICFCA
2010
Springer
15 years 7 months ago
2010
Springer
This paper discusses results from an experimental study of concept neighbourhoods in WordNet and Roget’s Thesaurus. The general aim of this research is to determine ways in which...