8132 search results - page 1403 / 1627 » Dependability, Abstraction, and Programming |
160
click to vote
SEFM
2006
IEEE
16 years 16 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
148
click to vote
SEFM
2006
IEEE
16 years 16 days ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
158
click to vote
VTC
2006
IEEE
16 years 15 days ago
2006
IEEE
Abstract— MobilitY and CollAboRative Work in European Vehicle Emergency NeTworks (MYCAREVENT) is an European Project of the 6th Framework Program [1], and aims to optimize the Eu...
176
click to vote
ACG
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Progressive Pruning (PP) is used in the Monte-Carlo go playing program Indigo. For each candidate move, PP launches random games starting with this move. PP gathers stati...
165
click to vote
ADBIS
2006
Springer
16 years 15 days ago
2006
Springer
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...