Sciweavers

3601 search results - page 421 / 721
» The Future of Virtualization Technology
Sort
View
ISSADS
2005
Springer
16 years 4 days ago
Model Fragmentation for Distributed Workflow Execution: A Petri Net Approach
Workflow is the key technology for business process automation, while distributed workflow is the solution to deal with the decentralized nature of workflow applications and the pe...
Wei Tan, Yushun Fan
171
Voted
LPAR
2005
Springer
16 years 4 days ago
Termination of Fair Computations in Term Rewriting
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
Salvador Lucas, José Meseguer
NIME
2005
Springer
130views Music» more  NIME 2005»
16 years 4 days ago
CyberSong
We present our work in the development of an interface for an actor/singer and its use in performing. Our work combines aspects of theatrical music with technology. Our interface ...
Paulo Maria Rodrigues, Luís Miguel Gir&atil...
NIME
2005
Springer
139views Music» more  NIME 2005»
16 years 4 days ago
A Comparison of Sensor Strategies for Capturing Percussive Gestures
Drum controllers designed by researchers and commercial companies use a variety of techniques for capturing percussive gestures. It is challenging to obtain both quick response ti...
Adam R. Tindale, Ajay Kapur, George Tzanetakis, Pe...
PCI
2005
Springer
16 years 4 days ago
TSIC: Thermal Scheduling Simulator for Chip Multiprocessors
Abstract. Increased power density, hot-spots, and temperature gradients are severe limiting factors for today’s state-of-the-art microprocessors. However, the flexibility offer...
Kyriakos Stavrou, Pedro Trancoso