1226 search results - page 45 / 246 » Generating Abstractions from Static Domain Analysis |
107
click to vote
SIGIR
2002
ACM
15 years 6 days ago
2002
ACM
mes, abstracts and year of publication of all 853 papers published.1 We then applied Porter stemming and stopword removal to this text, represented terms from the elds with twice t...
109
click to vote
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
81
Voted
IWSSD
2000
IEEE
15 years 5 months ago
2000
IEEE
A good architecture is a necessary condition to guarantee that the expected levels of performance, availability, fault tolerance, and scalability are achieved by the implemented s...
114
click to vote
IANDC
2008
15 years 18 days ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
227
Voted
FM
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...