1092 search results - page 70 / 219 » aime 2009 |
DALT
2009
Springer
15 years 2 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
FASE
2009
Springer
15 years 2 months ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
FGIT
2009
Springer
15 years 2 months ago
2009
Springer
Our society is rapidly changing into information society, where the needs and requests of the people on information access vary vigorously depending who they are. Library's m...
FPL
2009
Springer
15 years 2 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
GD
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...