Sciweavers

3069 search results - page 430 / 614
» Thinking about Technology
Sort
View
RTAS
2006
IEEE
15 years 10 months ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
183
Voted
ADVIS
2006
Springer
15 years 10 months ago
A Network-Based Indexing Method for Trajectories of Moving Objects
Recently many researchers have focused on management of historical trajectories of moving objects due to numerous size of accumulated data over time. However, most of them are conc...
Kyoung-Sook Kim, Mario A. Lopez, Scott T. Leuteneg...
ACMACE
2006
ACM
15 years 10 months ago
How real should virtual characters be?
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
Daniel Wagner, Mark Billinghurst, Dieter Schmalsti...
ACMICEC
2006
ACM
215views ECommerce» more  ACMICEC 2006»
15 years 10 months ago
Economics of online music and consumer behavior
In this paper we first provide a literature review about the economics of online music. Second, we then present an economical model for online music by incorporating various param...
Marc Fetscherin
ASPDAC
2006
ACM
153views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Diagonal routing in high performance microprocessor design
This paper presents a diagonal routing method which is applied to an actual microprocessor prototype chip. While including the layout functions for the conventional Manhattan rout...
Noriyuki Ito, Hideaki Katagiri, Ryoichi Yamashita,...