615 search results - page 57 / 123 » High-Level Nondeterministic Abstractions in |
106
click to vote
ICCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In this paper, we introduce the concept of rule-based visualization for a computational steering collaboratory and show how these rules can be used to steer the behaviors...
128
click to vote
ICICS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...
100
click to vote
KELSI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper describes the problem of modelling toxicity of environmental pollutants using molecular descriptors from a systems theoretical viewpoint. It is shown that curr...
RE
2004
Springer
15 years 7 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
108
click to vote
TSD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This paper presents a brand-new Slovak text-to-speech system. It was developed within the framework of ARTIC system (primarily designed to synthesize Czech speech) with r...