11573 search results - page 2083 / 2315 » Designing Relational Databases |
137
click to vote
UTP
2010
15 years 2 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
142
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
Though children frequently use web search engines to learn, interact, and be entertained, modern web search engines are poorly suited to children's needs, requiring relativel...
176
click to vote
ECWEB
2010
Springer
15 years 1 months ago
2010
Springer
: Virtual worlds have become very popular recently, in particular 3D virtual worlds with a built-in virtual currency that enables providers and users to monetize their creations. V...
142
Voted
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Although time-domain oversampling of the received baseband signal is common for single-carrier transmissions, the counterpart of frequency-domain oversampling is rarely used for mu...
145
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
Dynamic memory management is one of the most expensive but ubiquitous operations in many C/C++ applications. Additional features such as security checks, while desirable, further w...