4018 search results - page 635 / 804 » Process algebra for performance evaluation |
145
click to vote
SAFECOMP
2004
Springer
15 years 10 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
137
click to vote
UML
2004
Springer
15 years 10 months ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
160
click to vote
ETRA
2010
ACM
15 years 10 months ago
2010
ACM
Head-mounted displays (HMDs) that use a see-through display method allow for superimposing computer-generated images upon a real-world view. Such devices, however, normally restri...
154
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
127
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
With the proliferation of mobile devices we witness an increasing demand for supporting collaboration among users working in the field and in the office. A key component for colla...