2024 search results - page 138 / 405 » The Meaning of Ordered SOS |
DIGRA
2003
Springer
15 years 6 months ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
130
Voted
FM
2003
Springer
15 years 6 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
103
click to vote
ICADL
2003
Springer
15 years 6 months ago
2003
Springer
Building a shared and widely accessible repository, in order for scientists and end users to exploit it easily, results in tackling a variety of issues. Among others, the need for ...
122
click to vote
ICICS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Trust is hard to establish in a service-oriented grid architecture because of the need to support end user single sign-on and dynamic transient service. In order to enhan...
103
click to vote
ICSOC
2003
Springer
15 years 6 months ago
2003
Springer
Converting a conventional contract into an electronic equivalent is not trivial. The difficulties are caused by the ambiguities that the original human-oriented text is likely to c...