14244 search results - page 2189 / 2849 » Modeling Program Predictability |
177
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 ...
183
click to vote
IPPS
2005
IEEE
16 years 20 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 ...
211
click to vote
ISSTA
2004
ACM
16 years 15 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...
178
click to vote
AMAI
2004
Springer
16 years 14 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...
202
click to vote
MM
2003
ACM
16 years 9 days ago
2003
ACM
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...