10072 search results - page 1508 / 2015 » Composition of Model Programs |
174
Voted
FAW
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we consider a map labeling problem to maximize the number of independent labels in the plane. We first investigate the point labeling model that each label can be ...
175
click to vote
NSPW
2006
ACM
16 years 1 months ago
2006
ACM
This paper details a true and striking paradigm shift: the use of E-Prime for (at least) user-centered security, organizational/enterprise security policies and informal security ...
180
click to vote
IPPS
2005
IEEE
16 years 19 days ago
2005
IEEE
The Distributed Shared Memory (DSM) model is designed to leverage the ease of programming of the shared memory paradigm, while enabling the highperformance by expressing locality ...
210
click to vote
ISSTA
2004
ACM
16 years 14 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
177
click to vote
AMAI
2004
Springer
16 years 13 days ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...