12084 search results - page 262 / 2417 » Effect Systems with Subtyping |
171
click to vote
IWPC
2003
IEEE
16 years 15 days ago
2003
IEEE
This study examines the effect of individual differences on the program comprehension strategies of users working with an unfamiliar programming system. Participants of varying pr...
190
click to vote
ICWL
2003
Springer
16 years 13 days ago
2003
Springer
Abstract. Wireless technology can enhance the Web-based learning applications with efficiency and effectiveness. This paper presents the design and implementation of a novel Wirele...
157
click to vote
ICALP
2010
Springer
16 years 1 days ago
2010
Springer
We prove that TAUT has a p-optimal proof system if and only if a logic related to least fixed-point logic captures polynomial time on all finite structures. Furthermore, we show ...
156
click to vote
ASAP
1997
IEEE
15 years 11 months ago
1997
IEEE
In this article processor elements for the effective implementation of standard cell circuits based on Residue Number Systems (RNS) are presented. Two new processors are proposed ...
201
click to vote
TPDS
2008
15 years 7 months ago
2008
Application-layer peer-to-peer (P2P) networks are considered to be the most important development for next-generation Internet infrastructure. For these systems to be effective, lo...