1586 search results - page 153 / 318 » Modeling the evolution of operating systems: An empirical st... |
187
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
180
click to vote
ICSOC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
174
click to vote
ACMDIS
2004
ACM
15 years 12 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
166
click to vote
IJMMS
2007
15 years 6 months ago
2007
The cooperation between designers, engineers and scientists in the human–computer interaction (HCI) community is often difficult, and can only be explained by investigating the...
221
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...