9267 search results - page 1734 / 1854 » Expectation-Oriented Analysis and Design |
150
click to vote
VMCAI
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
155
click to vote
CIVR
2009
Springer
16 years 19 days ago
2009
Springer
Although the availability of large video corpora are on the rise, the value of these datasets remain largely untapped due to the difficulty of analyzing their contents. Automatic ...
169
click to vote
EMSOFT
2009
Springer
16 years 19 days ago
2009
Springer
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
178
Voted
DOCENG
2009
ACM
16 years 17 days ago
2009
ACM
The representation of information collections needs to be optimized for human cognition. While documents often include rich visual components, collections, including personal coll...
171
Voted
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
Traditional access control models, such as Role-Based Access Control (RBAC), do not take into account contextual information, such as location and time, for making access decision...