Sciweavers

2173 search results - page 225 / 435
» The History of the History of Software
Sort
View
CONCUR
2003
Springer
15 years 11 months ago
Bundle Event Structures and CCSP
We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. Working up to isomorphism we find that • all denotable event structures are bund...
Rob J. van Glabbeek, Frits W. Vaandrager
DIGRA
2003
Springer
15 years 11 months ago
Wargaming and Computer Games: Fun with the Future
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 ...
Patrick Crogan
DSVIS
2003
Springer
15 years 11 months ago
A Review of XML-compliant User Interface Description Languages
Abstract. A review of XML-compliant user interface description languages is produced that compares a significant selection of various languages addressing different goals, such a...
Nathalie Souchon, Jean Vanderdonckt
SSDBM
2010
IEEE
139views Database» more  SSDBM 2010»
15 years 11 months ago
Taverna, Reloaded
The Taverna workflow management system is an open source project with a history of widespread adoption within multiple experimental science communities, and a long-term ambition o...
Paolo Missier, Stian Soiland-Reyes, Stuart Owen, W...
IDEAS
2002
IEEE
135views Database» more  IDEAS 2002»
15 years 11 months ago
On Implicate Discovery and Query Optimization
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
Kristofer Vorwerk, G. N. Paulley