Sciweavers

1949 search results - page 251 / 390
» Protective Interface Specifications
Sort
View
122
Voted
CHI
2010
ACM
15 years 4 months ago
Critical gameplay: software studies in computer gameplay
The computer game software with which we interact on a daily basis not only entertains us, it trains us into specific patterns. Critical Gameplay is a design practice which endeav...
Lindsay Grace
SIGGRAPH
2010
ACM
15 years 3 months ago
Photo zoom: high resolution from unordered image collections
We present a system to automatically construct high resolution images from an unordered set of low resolution photos. It consists of an automatic preprocessing step to establish c...
Martin Eisemann, Elmar Eisemann, Hans-Peter Seidel...
129
Voted
ENTCS
2008
97views more  ENTCS 2008»
15 years 3 months ago
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions
The satisfiability problem is the fundamental problem in proving the conflict-freeness of specifications, or in finding a counterexample for an invalid statement. In this paper, w...
Karl-Heinz Pennemann
ENTCS
2006
90views more  ENTCS 2006»
15 years 3 months ago
A Framework for Engineering Interactions in Java-based Component Systems
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
137
Voted
DSS
2007
112views more  DSS 2007»
15 years 3 months ago
Service-based P2P overlay network for collaborative problem solving
This paper describes a service-based P2P overlay network architecture to support a collaborative environment for solving complex business processes over the network. In the propos...
Sanjay Goel, Shashishekara S. Talya, Michael W. So...