880 search results - page 59 / 176 » Model checking erlang programs: the functional approach |
167
click to vote
SAIG
2000
Springer
15 years 9 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
147
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
200
click to vote
SAC
2010
ACM
16 years 25 days ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
138
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
149
click to vote
ESOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...