3775 search results - page 326 / 755 » The Expression Problem Revisited |
187
click to vote
SPC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
164
click to vote
APLAS
2004
ACM
16 years 6 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
167
click to vote
ISCIS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
181
click to vote
HAPTICS
2003
IEEE
16 years 2 days ago
2003
IEEE
In this paper, we discuss the design and implementation of D’Groove, an intelligent Disc Jockey (DJ) system that features the use of haptic force feedback to expand the expressi...
182
click to vote
ICIP
2003
IEEE
16 years 2 days ago
2003
IEEE
We have been developing new relevance feedback algorithms for Content-based Image Retrieval (CBIR) that allow the user to achieve more flexible query. In conjunction with the new...