22698 search results - page 4212 / 4540 » Modeling in Software Engineering |
132
click to vote
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
148
Voted
EMSOFT
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of standards for programming real-time systems in Java has encouraged many developers to consider its use for systems previously only built using C, Ada, or assembly...
139
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
In the b-degree constrained Euclidean minimum spanning tree problem (bMST) we are given n points in [0;1]d and a degree constraint b 2. The aim is to nd a minimum weight spannin...
181
Voted
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
164
Voted
ICMI
2007
Springer
15 years 10 months ago
2007
Springer
In the context of natural multimodal dialogue systems, we address the challenging issue of the definition of cooperative answers in an appropriate multimodal form. Highlighting th...