3819 search results - page 46 / 764 » Simple Easy Terms |
GROUP
2003
ACM
14 years 27 days ago
2003
ACM
A number of people are exchanging e-mail messages everyday using mobile phones and PDAs. E-mail is useful not only for oneto-one communication but group communication through mail...
EUROSYS
2010
ACM
14 years 22 days ago
2010
ACM
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
SEKE
2009
Springer
14 years 5 days ago
2009
Springer
—Traditional search systems are usually based on keywords, a very simple and convenient mechanism to express a need for information. This is the most extended way of searching th...
ICLP
1994
Springer
13 years 11 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
CODES
2007
IEEE
13 years 11 months ago
2007
IEEE
The synchronous computational model with its simple computation and communication mechanism makes it easy to describe, simulate and formally verify synchronous embedded systems at...