1586 search results - page 137 / 318 » Modeling the evolution of operating systems: An empirical st... |
173
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Formal verification using the model checking paradigm has to deal with two aspects: The system models are structured, often as products of components, and the specification logic...
149
click to vote
ICAC
2007
IEEE
16 years 24 days ago
2007
IEEE
—A promising method of automating management tasks in computing systems is to formulate them as control or optimization problems in terms of performance metrics. For an online op...
111
click to vote
ICALT
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper focuses on an investigation of Collaborative Virtual Environment (CVE) technology for people with autism, paying particular attention to the use of avatar representatio...
177
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
188
click to vote
EDOC
2008
IEEE
16 years 28 days ago
2008
IEEE
Enterprise Architecture is a model-based approach to business-oriented IT management. To promote good IT decision making, an Enterprise Architecture framework needs to explicate w...