2100 search results - page 141 / 420 » Fundamentals of the problem |
194
Voted
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C...
170
Voted
AHSWN
2005
15 years 7 months ago
2005
Over the last few years, novel architectures like ad hoc and sensor networks have introduced new challenges in the way the communication infrastructure must be addressed. Unlike t...
187
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...
180
Voted
PODS
2007
ACM
16 years 7 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
175
Voted
TARK
2007
Springer
16 years 1 months ago
2007
Springer
We introduce (i) a general class of security protocols with private channel as cryptographic primitive and (ii) a probabilistic epistemic logic to express properties of security pr...