SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
SEFM
2005
IEEE
13 years 10 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...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
SEFM
2005
IEEE
13 years 10 months ago
2005
IEEE
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...