1032 search results - page 147 / 207 » A Survey on Industrial Software Engineering |
164
click to vote
FSTTCS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
147
click to vote
ISESE
2005
IEEE
15 years 12 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...
168
click to vote
ISORC
2005
IEEE
15 years 12 months ago
2005
IEEE
We argue that the key underpinning of the current state-of-the real-time practice — the priority artifact — and that of the current state-of-the real-time art — deadline-bas...
203
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
The main claim of this paper is that machine learning can help integrate the construction of ontologies and extraction grammars and lead us closer to the Semantic Web vision. The p...
151
click to vote
FSTTCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...