3175 search results - page 440 / 635 » Network properties of folksonomies |
199
click to vote
PADS
2009
ACM
16 years 1 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
176
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
160
click to vote
IEEESCC
2009
IEEE
16 years 1 months ago
2009
IEEE
In many applications involving composite Web services, one or more component services may become unavailable. This presents us with the problem of identifying other components tha...
198
click to vote
WG
2009
Springer
16 years 1 months ago
2009
Springer
We study the parameterized complexity of several minimum label graph problems, in which we are given an undirected graph whose edges are labeled, and a property Π, and we are ask...
153
click to vote
IJCNN
2008
IEEE
16 years 28 days ago
2008
IEEE
— The purpose of this study was to develop a product design model for impact toughness estimation of low-alloy steel plates. Based on these estimates, the rejection probability o...