1199 search results - page 144 / 240 » Software Verification and Software Engineering a Practitione... |
161
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
135
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
168
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
We argue that an analytic proportionality assessment balancing usefulness and burden on individual or group privacy must be conducted throughout the design process to create accep...
156
click to vote
RE
2002
Springer
15 years 5 months ago
2002
Springer
Privacy has recently become a prominent issue in the context of electronic commerce websites. Increasingly, privacy policies posted on such websites are receiving considerable att...
153
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 7 months ago
2007
Software evolution is an essential concept underlying the engineering of corporate portals. Due to the complexity of such systems, it requires great effort and is not advisable to...