1163 search results - page 213 / 233 » Case Studies of Model Checking for Embedded System Designs |
126
Voted
EJIS
2010
15 years 1 months ago
2010
Most empirical research on users' resistance toward Information Technology (IT) has been conducted after implementation of IT in organisations. Little research has been done ...
134
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
120
Voted
ENTCS
2007
15 years 1 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
112
click to vote
TWC
2008
15 years 1 months ago
2008
We consider a multi-channel opportunistic communication system where the states of these channels evolve as independent and statistically identical Markov chains (the Gilbert-Elli...
WCE
2007
15 years 3 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...