10159 search results - page 1839 / 2032 » System Design Validation Using Formal Models |
120
click to vote
ACSAC
2002
IEEE
15 years 7 months ago
2002
IEEE
We describe an approach to building security services for context-aware environments. Specifically, we focus on the design of security services that incorporate the use of securi...
101
click to vote
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Economic incentives are a powerful way of shaping consumer behavior towards more commercially efficient and environmentally sustainable patterns. In this paper, we explore the id...
128
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
122
Voted
FORTE
2000
15 years 3 months ago
2000
The adventof multipoint(multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we prese...
164
click to vote
CVIU
2010
14 years 11 months ago
2010
This paper demonstrates the use of a single-chip FPGA for the segmentation of moving objects in a video sequence. The system maintains highly accurate background models, and integ...