398 search results - page 7 / 80 » First Specifications of an Information System for Urban Soun... |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
This paper describes a new method for providing recommendations tailored to a user's preferences using text mining techniques and online technical specifications of products....
ISITA
2010
13 years 5 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
SERP
2003
13 years 9 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
MOBISYS
2009
ACM
14 years 8 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...