10707 search results - page 412 / 2142 » Designing executable abstractions |
172
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents a novel, computationally feasible procedure for computing optimal switching surfaces, i.e. optimal feedback controllers for switched autonomous nonl...
178
Voted
GLOBE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
171
click to vote
IWDC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract— This paper presents the architecture of a passive monitoring system installed within the Sprint IP backbone network. This system differs from other packet monitoring sy...
178
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
168
click to vote
ROBOCUP
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. In this paper we present early work on an animated talking head commentary system called Byrne. The goal of this project is to develop a system which can take the output ...