12981 search results - page 2380 / 2597 » Model Checking (Abstract) |
142
Voted
DAGM
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. We present a system that allows for changing the major camera parameters after the acquisition of an image. Using the high dynamic range composition technique and additio...
140
click to vote
DAGSTUHL
2009
15 years 5 months ago
2009
Abstract. The goal of this roadmap paper is to summarize the state-ofthe-art and to identify critical challenges for the systematic software engineering of self-adaptive systems. T...
147
click to vote
DBSEC
2009
15 years 5 months ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...
158
click to vote
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— An important issue for supporting multimedia applications in multiple heterogeneous networks, a typical pervasive computing environment, is how to optimize the rate all...
156
click to vote
HAPTICS
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...