483 search results - page 36 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
RSFDGRC
2007
Springer
14 years 2 months ago
2007
Springer
Reading and literature exploration are important tasks of scientific research. However, conventional retrieval systems provide limited support for these tasks by concentrating on ...
MICCAI
2002
Springer
14 years 9 months ago
2002
Springer
CT-angiography is a well established medical imaging technique for the detection, evaluation and therapy planning of intracranial aneurysms. Different 3D visualization algorithms s...
JOT
2008
13 years 8 months ago
2008
All readers of this paper most likely have knowledge of the software requirements discipline and of the use case notation, however not everyone is aware that with the progress of ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
— Naming and addressing are important issues for Next Generation Internet (NGI). In this paper, we discuss a new Mobility and Multihoming supporting Identifier Locator Split Arch...