3742 search results - page 514 / 749 » On the Use of Formal Techniques for Validation |
179
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Many high-performance tools, applications and infrastructures, such as Paradyn, STAT, TAU, Ganglia, SuperMon, Astrolabe, Borealis, and MRNet, use data aggregation to synthesize lar...
240
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
142
click to vote
ICFEM
2007
Springer
16 years 22 days ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
204
click to vote
CCGRID
2006
IEEE
16 years 19 days ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
145
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The objectives of the research project described in this paper are (1) to develop reliable and valid measures for the components of online store image, and (2) to examine the infl...