Sciweavers

1677 search results - page 102 / 336
» On the Completeness of Quantum Computation Models
Sort
View
DFG
2009
Springer
15 years 8 months ago
A Survey on Approximation Algorithms for Scheduling with Machine Unavailability
In this chapter we present recent contributions in the field of sequential job scheduling on network machines which work in parallel; these are subject to temporary unavailability...
Florian Diedrich, Klaus Jansen, Ulrich M. Schwarz,...
OZCHI
2009
ACM
15 years 6 months ago
When three worlds collide: a model of the tangible interaction process
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...
Marc Hermann, Michael Weber
BIS
2008
92views Business» more  BIS 2008»
15 years 3 months ago
Structural Detection of Deadlocks in Business Process Models
Abstract. A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low ...
Ahmed Awad, Frank Puhlmann
SMA
1995
ACM
190views Solid Modeling» more  SMA 1995»
15 years 5 months ago
Creating solid models from single 2D sketches
We describe a method of constructing a B-rep solid model from a single hidden-line removed sketch view of a 3D object. The main steps of our approach are as follows. The sketch is...
Ian J. Grimstead, Ralph R. Martin
ICSE
2009
IEEE-ACM
16 years 2 months ago
Learning operational requirements from goal models
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
Alessandra Russo, Dalal Alrajeh, Jeff Kramer, Seba...