8377 search results - page 1311 / 1676 » Scenarios - Introduction |
214
Voted
IEEEHPCS
2010
15 years 5 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
133
click to vote
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
In online shopping scenarios, it can be difficult for consumers to process the vast amounts of information available and to make satisfactory buying decisions. Interactive decision...
155
click to vote
IFIP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In future ubiquitous communication environments, users expect to move freely while continuously interacting with the available applications through a variety of devices. ...
202
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
219
click to vote
IJRR
2010
15 years 5 months ago
2010
This paper presents a novel approach to detect and track pedestrians and cars based on the combined information retrieved from a camera and a laser range scanner. Laser data points...