82 search results - page 10 / 17 » Automatically transforming and relating Uppaal models of emb... |
HCI
2007
14 years 11 months ago
2007
The paper discusses the relation between accessibility and multimodality of learning objects. I present a framework, rooted in linguistics, that supports a clear distinction betwee...
71
Voted
IFIP
2000
Springer
15 years 1 months ago
2000
Springer
Design of gracefully degrading systems, where functionality is gradually reduced in the face of faults, has traditionally been a very difficult and error-prone task. General appro...
PAMI
1998
14 years 9 months ago
1998
—Automatic 3D object model construction is important in applications ranging from manufacturing to entertainment, since CAD models of existing objects may be either unavailable o...
ICFEM
2007
Springer
15 years 3 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
CDC
2009
IEEE
15 years 25 days ago
2009
IEEE
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...