4305 search results - page 319 / 861 » Analysing Protocol Implementations |
176
click to vote
SC
2005
ACM
16 years 7 days ago
2005
ACM
The memory consistency model in parallel programming controls the order in which operations performed by one thread may be observed by another. Language designers have been reluct...
160
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
177
click to vote
WECWIS
2003
IEEE
15 years 12 months ago
2003
IEEE
There are many e-commerce applications on the web. A common shortcoming is the lack of customer service and marketing analysis tools in most ecommerce web sites. In order to overc...
170
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
In response to the constant increase in wire delays, Non-Uniform Cache Architecture (NUCA) has been introduced as an effective memory model for dealing with growing memory latenci...
168
click to vote
WELCOM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We have explored the role of user modelling in live help systems for e-commerce web sites. There are several potential benefits with user modelling in this context: 1) H...