1043 search results - page 24 / 209 » Reading, Writing and Relations |
138
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
149
click to vote
ESERNET
2003
Springer
15 years 9 months ago
2003
Springer
The origin of the study described here is the experiment performed by Basili and Selby, further replicated by Kamsties and Lott, and once again by Wood et al. These experiments inv...
130
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a novel web-oriented writing environment that helps users describe their opinions on topics/events through weblogs, by showing facts related to the objects. Ou...
131
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
Security is gaining increasing relevance in the development of embedded devices. Towards a secure system at each level of design, this paper addresses the security aspects related...
141
click to vote
ERCIMDL
2003
Springer
15 years 9 months ago
2003
Springer
Many readers annotate passages that are important to their work. If we understand the relationship between the types of marks on a passage and the passage’s ultimate utility in a...