10707 search results - page 412 / 2142 » Designing executable abstractions |
134
Voted
CDC
2009
IEEE
15 years 9 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...
147
Voted
GLOBE
2009
Springer
15 years 9 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...
142
click to vote
IWDC
2001
Springer
15 years 9 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...
140
click to vote
FM
1999
Springer
15 years 9 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...
146
Voted
ROBOCUP
1998
Springer
15 years 9 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 ...