Sciweavers

4480 search results - page 531 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
IJSEKE
2006
99views more  IJSEKE 2006»
15 years 6 months ago
Weaving Deployment Aspects into Domain-specific Models
pecific models increase the level of abstraction used to develop large-scale component-based systems. Model-driven development (MDD) approaches (e.g., ModelIntegrated Computing and...
Krishnakumar Balasubramanian, Aniruddha S. Gokhale...
CHI
2008
ACM
16 years 7 months ago
Handsaw: tangible exploration of volumetric data by direct cut-plane projection
Tangible User Interfaces are well-suited to handling threedimensional data sets by direct manipulation of real objects in space, but current interfaces can make it difficult to lo...
Leonardo Bonanni, Jason Alonso, Neil Chao, Greg Va...
CCECE
2006
IEEE
16 years 23 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
161
Voted
ACMACE
2005
ACM
16 years 8 days ago
Towards a cinematically enhanced narrative
This paper describes the automatic creation of simple cinematic scenes and events that use film language (FL) as the basis for the creation of a visual story, aiming to improve it...
Alejandro Ramírez
USENIX
2003
15 years 8 months ago
A Cooperative Internet Backup Scheme
We present a novel peer-to-peer backup technique that allows computers connected to the Internet to back up their data cooperatively: Each computer has a set of partner computers,...
Mark Lillibridge, Sameh Elnikety, Andrew Birrell, ...