6308 search results - page 233 / 1262 » Modeling Urgency in Timed Systems |
146
click to vote
ICSEA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
110
click to vote
WSC
1998
15 years 6 months ago
1998
This study describes an application of discrete-process simulation to a final assembly process within the automotive industry. The study addressed the issues of whether the proces...
147
click to vote
AMC
2006
15 years 4 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
134
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
137
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...