15840 search results - page 489 / 3168 » The Control of Synchronous Systems |
150
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
157
click to vote
DFG
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
176
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
191
click to vote
AH
2000
Springer
15 years 11 months ago
2000
Springer
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
158
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
: Well known collision avoiding approaches used in automatic robot path planning are also applied in teleoperation systems when moving in hazardous environments. In such cases, it ...