615 search results - page 57 / 123 » High-Level Nondeterministic Abstractions in |
136
click to vote
ICCS
2004
Springer
15 years 10 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...
160
click to vote
ICICS
2004
Springer
15 years 10 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...
135
click to vote
KELSI
2004
Springer
15 years 10 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...
125
click to vote
RE
2004
Springer
15 years 10 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...
142
click to vote
TSD
2004
Springer
15 years 10 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...