5384 search results - page 147 / 1077 » Open Standards Requirements |
141
click to vote
APAL
2007
15 years 6 months ago
2007
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
165
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Classical logics and Datalog-related logics have both been proposed as underlying formalisms for the Semantic Web. Although these two different formalism groups have some commonal...
272
click to vote
WCRE
2008
IEEE
16 years 27 days ago
2008
IEEE
Data modeling is an essential part of the software development process, and together with application modeling forms the core of the model-driven approach to software engineering....
180
click to vote
SIGOPSE
2004
ACM
15 years 12 months ago
2004
ACM
We propose augmenting secure boot with a mechanism to protect against compromises to field-upgradeable devices. In particular, secure boot standards should verify the firmware o...
139
click to vote
AI
2003
Springer
15 years 11 months ago
2003
Springer
The Internet has opened opportunities for efficient on-line trading, and researchers have developed algorithms for various auctions, as well as exchanges for standardized commoditi...