7961 search results - page 1075 / 1593 » Input-Output Model Programs |
205
click to vote
ISSTA
2004
ACM
16 years 10 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...
172
click to vote
AMAI
2004
Springer
16 years 9 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...
196
click to vote
MM
2003
ACM
16 years 4 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...
174
Voted
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
195
click to vote
REFLECTION
2001
Springer
15 years 11 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...