3116 search results - page 468 / 624 » Positively dependent types |
181
click to vote
ESORICS
2004
Springer
16 years 11 days ago
2004
Springer
Parameters of a program’s runtime environment such as the machine architecture and operating system largely determine whether a vulnerability can be exploited. For example, the m...
188
Voted
PATMOS
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...
147
click to vote
SEMWEB
2004
Springer
16 years 10 days ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
143
click to vote
CHI
2010
ACM
16 years 9 days ago
2010
ACM
Tablet PCs are gaining popularity but many older adults still struggle with pointing, particularly with two error types: missing, landing and lifting outside the target bounds; an...
196
Voted
HICSS
2003
IEEE
16 years 8 days ago
2003
IEEE
An increasing number of Web-based systems, including brainstorming, decision-making, and negotiation support systems, are being developed to aid users in solving particular types ...