3424 search results - page 365 / 685 » Building Diverse Computer Systems |
177
Voted
DEBU
2010
15 years 1 months ago
2010
We consider the requirements that a citation system must fulfill in order to cite structured and evolving data sets. Such a system must take into account variable granularity, con...
144
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
In this paper, we show that a Bio-inspired classifier’s accuracy can be dramatically improved if it operates on intelligent features. We propose a novel set of intelligent feat...
147
Voted
EUROSYS
2011
ACM
14 years 7 months ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
142
Voted
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
148
Voted
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
RDF is a data model for representing labeled directed graphs, and it is used as an important building block of semantic web. Due to its flexibility and applicability, RDF has bee...