886 search results - page 137 / 178 » Experiences Using Lightweight Formal Methods for Requirement... |
151
click to vote
POPL
2012
ACM
13 years 10 months ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
115
click to vote
AAAI
1997
15 years 4 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
147
click to vote
CLOUD
2010
ACM
15 years 8 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
129
click to vote
SMI
2005
IEEE
15 years 8 months ago
2005
IEEE
Traditional approaches for modeling a closed manifold surface with either regular tensor-product or triangular splines (defined over an open planar domain) require decomposing th...
119
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Much emphasis in multiagent reinforcement learning (MARL) research is placed on ensuring that MARL algorithms (eventually) converge to desirable equilibria. As in standard reinfor...