4350 search results - page 86 / 870 » Case studies for contract-based systems |
CIVR
2004
Springer
14 years 3 months ago
2004
Springer
In this paper we present the results of a user study that was conducted in combination with a submission to TRECVID 2003. Search behavior of students querying an interactive video-...
CODES
2005
IEEE
13 years 12 months ago
2005
IEEE
We describe results of a case study whose intent was to determine whether new techniques for hardware/software partitioning of an application’s binary are competitive with parti...
CASES
2006
ACM
14 years 4 months ago
2006
ACM
The continuing miniaturization of technology coupled with wireless networks has made it feasible to physically embed sensor network systems into the environment. Sensor net proces...
FMSD
2006
13 years 10 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
ACISICIS
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract--Although temporal context may significantly affect the popularity of items and user preference over items, traditional information filtering techniques such as recommende...