5107 search results - page 822 / 1022 » Design Issue Of ECTST |
113
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
112
click to vote
ASWC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
137
click to vote
BIOID
2008
15 years 5 months ago
2008
Abstract. Security and privacy issues are considered as two of the major concerns related to the use of biometric data for authentication purposes. In this paper we propose two dif...
121
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
106
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Low-power and energy-efficient system implementations have become very important design issues to extend operation duration or cut power bills. To balance the energy consumption r...