8022 search results - page 338 / 1605 » Predictability in Critical Systems |
172
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
187
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
183
click to vote
ITIIS
2010
15 years 1 months ago
2010
As Internet usage has increased, the risk of adolescents being exposed to adult content and harmful information on the Internet has also risen. To help prevent adolescents accessi...
209
click to vote
JDCTA
2010
15 years 1 months ago
2010
Natural and friendly interface is critical for the development of service robots. Gesture-based interface offers a way to enable untrained users to interact with robots more easil...
168
click to vote
ICDCS
2005
IEEE
16 years 10 days ago
2005
IEEE
The group mutual exclusion problem extends the traditional mutual exclusion problem by associating a type with each critical section. In this problem, processes requesting critica...