8828 search results - page 372 / 1766 » Formal methods in practice |
194
click to vote
FORTE
2009
15 years 4 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
212
click to vote
IPSN
2007
Springer
16 years 29 days ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
183
click to vote
SIGADA
2004
Springer
16 years 4 days ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
190
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
227
click to vote
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
This paper addresses the problem of remapping the disparity range of stereoscopic images and video. Such operations are highly important for a variety of issues arising from the p...