Sciweavers

1908 search results - page 184 / 382
» How to teach software modeling
Sort
View
99
Voted
CONCUR
2008
Springer
15 years 19 hour ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
CADUI
2006
14 years 11 months ago
Participatory Design Meets Mixed Reality Design Models
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...
Emmanuel Dubois, Guillaume Gauffre, Cédric ...
100
Voted
CBSE
2007
Springer
15 years 4 months ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
84
Voted
HCI
2009
14 years 8 months ago
Modeling Human Actors in an Intelligent Automated Warehouse
Warehouse automation has progressed at a rapid pace over the last decade. While the tendency has been to implement fully automated solutions, most warehouses today exist as a mixtu...
Davy Preuveneers, Yolande Berbers
96
Voted
ICCS
2009
Springer
15 years 4 months ago
Querying for Feature Extraction and Visualization in Climate Modeling
The ultimate goal of data visualization is to clearly portray features relevant to the problem being studied. This goal can be realized only if users can effectively communicate t...
C. Ryan Johnson, Markus Glatter, Wesley Kendall, J...