1054 search results - page 63 / 211 » Guarded Expressions in Practice |
SBMF
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. In the context of the EU project Mobius on Proof Carrying Code for Java programs (midlets) on mobile devices, we present a way to express midlet navigation graphs in JML....
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
The Probability Hypothesis Density (PHD) is a well-known method for single-sensor multi-target tracking problems in a Bayesian framework, but the extension to the multi-sensor cas...
ICSM
2006
IEEE
15 years 6 months ago
2006
IEEE
In the traditional software engineering courses, the students develop small programs from scratch. This does not correspond to industry practice where programmers spend most of th...
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper discusses decision making in the practically important situation where only partial prior information on the stochastic behavior of the states of nature expressed by im...
115
click to vote
FQAS
2004
Springer
15 years 3 months ago
2004
Springer
In the context of relational as well as deductive databases, correct and efficient integrity checking is a crucial issue, as, without any guarantee of data consistency, the answers...