640 search results - page 80 / 128 » On Timed Simulation Relations for Hybrid Systems and Composi... |
ICC
2009
IEEE
14 years 2 months ago
2009
IEEE
—Video-on-Demand (VoD) services have attracted a lot of attentions in recent years. Measurement studies show that VCR (Video Cassette Recorder) operations, such as pause, rewind,...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommoda...
ANSOFT
2002
13 years 7 months ago
2002
Over recent years, "Internet-able" applications have been used to support domains where distributed functionality is essential. This flexibility is also pertinent in situ...
NLE
2008
13 years 7 months ago
2008
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
GIAE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...