2060 search results - page 302 / 412 » The Composition of Event-B Models |
113
Voted
SRDS
2006
IEEE
15 years 10 months ago
2006
IEEE
In order to safeguard a sensitive database, we must ensure both its privacy and its longevity. However, privacy and longevity tend to be competing objectives. We show how to desig...
117
click to vote
NORDICHI
2006
ACM
15 years 10 months ago
2006
ACM
The ixi software is an ongoing interdisciplinary research project. It focuses on the creation of screen-based interfaces as digital musical instruments. The notion of situated cog...
160
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper applies an algorithm, based on Tensor Decomposition, to a new synthesis application: by using sampled motions of people of different ages under different emotional stat...
144
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
115
click to vote
PPOPP
2005
ACM
15 years 10 months ago
2005
ACM
Writing concurrent programs is notoriously difficult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...