527 search results - page 74 / 106 » Case Study: System Model of Crane and Embedded Control |
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
FPL
2003
Springer
15 years 2 months ago
2003
Springer
This paper introduces the notion of a software decelerator, to be used in logic-centric system architectures. Functions are offloaded from logic to a processor, accepting a speed ...
123
Voted
FIT
2010
14 years 4 months ago
2010
Business processes have to adopt the changes driven by the market to remain competitive. This requires improvement of business processes, which can be carried out by understanding...
102
Voted
TASLP
2008
14 years 9 months ago
2008
Wave digital filters (WDFs) were originally developed for robust discrete-time simulation of analog filters, but recently they have been applied successfully to modeling of physica...
HASE
2007
IEEE
15 years 3 months ago
2007
IEEE
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...