Sciweavers

6607 search results - page 329 / 1322
» Making TeX Work
Sort
View
FMOODS
2007
15 years 6 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
SPLC
2010
15 years 6 months ago
Feature-to-Code Mapping in Two Large Product Lines
Abstract. Large product lines have complex build systems, which obscure mapping of features to code. We extract this mapping out of the build systems of two operating systems kerne...
Thorsten Berger, Steven She, Rafael Lotufo, Krzysz...
GRAPHICSINTERFACE
2008
15 years 6 months ago
Analyzing the kinematics of bivariate pointing
Despite the importance of pointing-device movement to efficiency in interfaces, little is known on how target shape impacts speed, acceleration, and other kinematic properties of ...
Jaime Ruiz, David Tausky, Andrea Bunt, Edward Lank...
GRAPP
2008
15 years 6 months ago
GPU-Based Normal Map Generation
This paper presents a method for normal map generation in the GPU. These normal maps are generated from a high resolution mesh and can be applied to any simplification of this mes...
Jesús Gumbau, Carlos González, Migue...
IADIS
2008
15 years 6 months ago
An E-Learning System To Prepare Negotiations
The goal of this article is to propose an environment for negotiation e-learning courses using a workflow approach to help learners to prepare the negotiation. This environment is...
Sérgio Assis Rodrigues, Yann Duzert, Jano M...