1078 search results - page 68 / 216 » Modelling and Verifying of e-Commerce Systems |
133
Voted
CG
2002
Springer
15 years 3 months ago
2002
Springer
In order to analyze or better develop modern computer games it is critical to have an appropriate representation framework. In this paper a symbolic representation of modern comput...
130
click to vote
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
120
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
Initially, web development methods focused on the generation of read-only web applications for browsing the data stored in relational database systems. Lately, many have evolved to...
130
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
142
click to vote
SIGOPSE
2004
ACM
15 years 9 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...