300 search results - page 28 / 60 » Using probabilistic reasoning to automate software tuning |
TSE
2010
14 years 11 months ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
93
Voted
TARK
2007
Springer
15 years 6 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...
112
click to vote
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
100
Voted
SARA
2009
Springer
15 years 7 months ago
2009
Springer
: Given a system design (SD), a key task is to optimize this design to reduce the probability of catastrophic failures. We consider the task of redesigning an SD to minimize the pr...
96
Voted
TOSEM
2002
15 years 3 days ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...