4520 search results - page 245 / 904 » Algebraic Techniques for Timed Systems |
183
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol), which is a software-based token-passing Ethernet protocol for multipoint communications in...
216
click to vote
EPK
2006
15 years 8 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
171
click to vote
ECRTS
2005
IEEE
16 years 26 days ago
2005
IEEE
In previous work, we presented a tight approximate response-time analysis for tasks with offsets. While providing a tight bound on response times, the tight analysis exhibits simi...
220
click to vote
DMIN
2006
15 years 8 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
174
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...