2060 search results - page 302 / 412 » The Composition of Event-B Models |
148
click to vote
SRDS
2006
IEEE
16 years 13 days 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...
157
click to vote
NORDICHI
2006
ACM
16 years 12 days 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...
188
click to vote
ICMCS
2005
IEEE
16 years 1 days 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...
174
click to vote
RTCSA
2005
IEEE
16 years 18 hour 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...
145
click to vote
PPOPP
2005
ACM
16 years 5 hour 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...