1138 search results - page 16 / 228 » Talking about concerns |
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
This study focuses on exploring Internet literacy and social awareness as antecedents to Internet users’ attitudes towards government surveillance in the Internet environment. P...
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
217
click to vote
Publication
Weaknesses in several recently proposed ideas about congestion control and avoidance in high-speed netwroks are identified. Both sides of the debate concerning prior reservation of...
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
110
click to vote
FASE
2000
Springer
15 years 3 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...