1321 search results - page 243 / 265 » Subtyping in Logical Form |
121
Voted
COMPLEXITY
2006
15 years 4 months ago
2006
Technology--the collection of devices and methods available to human society--evolves by constructing new devices and methods from ones that previously exist, and in turn offering...
194
click to vote
ENTCS
2006
15 years 4 months ago
2006
Conventional approaches to the modeling of autonomous agents and agent communication rely heavily on the ascription of mental properties like beliefs and intentions to the individ...
160
click to vote
JNW
2008
15 years 4 months ago
2008
Recently overlay networks have emerged as an efficient and flexible method for content distribution. An overlay network is a network running on top of another network, usually the ...
140
Voted
SIGPLAN
2008
15 years 4 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
153
click to vote
FAST
2011
14 years 7 months ago
2011
: NAND flash-based solid-state drives (SSDs) are increasingly being deployed in storage systems at different levels such as buffer-caches and even secondary storage. However, the ...