7693 search results - page 75 / 1539 » Design and Implementation of the FRIENDS System |
124
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Without trust, most prudent business operators and clients may decide to forgo use of the Internet and revert back to traditional methods of doing business. To counter this trend,...
125
click to vote
IV
2000
IEEE
15 years 8 months ago
2000
IEEE
Annotating photos is such a time-consuming, tedious and error-prone data entry task that it discourages most owners of personal photo libraries. By allowing users to drag labels s...
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
CARMA is an advisory system for grasshopper infestations that has been successfully used since 1996. During CARMA’s history, grasshopper control has increasingly focused on envi...
163
click to vote
SDL
2001
15 years 5 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...
131
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
This paper introduces the notion of profile-based cooperation as a way to support awareness and informal communication between mobile users during chance encounters. We describe th...