5407 search results - page 679 / 1082 » The Software Engineering Global Model |
186
click to vote
SEFM
2005
IEEE
16 years 1 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
196
click to vote
IUI
2005
ACM
16 years 1 months ago
2005
ACM
SemanticTalk is a tool for supporting face-to-face meetings and discussions by automatically generating a semantic context from spoken conversations. We use speech recognition and...
186
Voted
ADAEUROPE
2005
Springer
16 years 1 months ago
2005
Springer
This article presents ERB, the ESA Ravenscar Benchmark. ERB aims at providing a synthetic benchmark comparing the efficiency of various Ada Ravenscar implementations and the RTEMS...
194
click to vote
VSTTE
2005
Springer
16 years 1 months ago
2005
Springer
What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs that are generated from source code. Not only can the WYSINW...
179
click to vote
IUI
2004
ACM
16 years 1 months ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...