7064 search results - page 128 / 1413 » From States to Histories |
174
click to vote
INTERACT
2007
15 years 8 months ago
2007
Abstract. This paper examines the use of surveys in measuring privacy concerns in ubiquitous computing environments. Two evaluation techniques are used to study the privacy concern...
165
click to vote
IADIS
2003
15 years 7 months ago
2003
The purpose of this paper is to provide some understanding on the key forces impacting on the successful evolvement of m-commerce in the US market from Mobile Network Operators’...
166
click to vote
ENTCS
2007
15 years 6 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
156
click to vote
MOR
2006
15 years 6 months ago
2006
We describe an extension procedure for constructing new standardized time series procedures from existing ones. The approach is based on averaging over sample paths obtained by per...
186
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...