3565 search results - page 142 / 713 » Modeling a system controller for timing analysis |
151
click to vote
AUTOMATICA
2004
15 years 6 months ago
2004
This paper addresses the development of a nonlinear model based interval model control system for the quasi-keyhole arc welding process, a novel arc welding process which has adva...
213
click to vote
RSP
2005
IEEE
15 years 12 months ago
2005
IEEE
Embedded signal processing systems are usually associated with real-time constraints and/or high data rates so that fully software implementation are often not satisfactory. In th...
163
click to vote
SAFECOMP
2007
Springer
16 years 14 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
185
click to vote
RTS
2006
15 years 6 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
175
click to vote
ICSEA
2008
IEEE
16 years 24 days ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...