3307 search results - page 431 / 662 » The meaning of concurrent programs |
225
click to vote
ESOP
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
173
click to vote
WEBI
2004
Springer
16 years 17 days ago
2004
Springer
In this paper, we particularly focused our attention on how to enhance expressivity of ontologies when used as organized space values in a catalogue request process. Using the Wis...
227
click to vote
ICSM
2003
IEEE
16 years 15 days ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
186
click to vote
STEP
2003
IEEE
16 years 14 days ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
147
click to vote
DIGRA
2003
Springer
16 years 13 days 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 ...