1054 search results - page 115 / 211 » Guarded Expressions in Practice |
210
click to vote
ICDT
2009
ACM
15 years 3 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
161
click to vote
ICFEM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. On the one hand, modal specifications are classic, convenient, and expressive mathematical objects to represent interfaces of component-based systems. On the other hand, ...
164
click to vote
CONSTRAINTS
2010
15 years 3 months ago
2010
Abstract. Many computational problems linked to uncertainty and preference management can be expressed in terms of computing the marginal(s) of a combination of a collection of val...
148
click to vote
CAP
2010
15 years 1 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
175
click to vote
JAIS
2010
15 years 25 days ago
2010
This study aims to understand how website interactivity (active control and reciprocal communication) can impact purchase intention through website involvement and how the impacts...