1054 search results - page 35 / 211 » Models for automatic generation of safety-critical real-time... |
ITCC
2003
IEEE
15 years 5 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
FGR
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
RTS
2010
14 years 10 months ago
2010
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
SPLC
2004
15 years 1 months ago
2004
We study the generative development of control programs for families of embedded devices. A software family is described by a single common model and restriction specifications for...