7099 search results - page 223 / 1420 » Context for models of concurrency |
177
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
226
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
User browsing information, particularly their non-search related activity, reveals important contextual information on the preferences and the intent of web users. In this paper, ...
165
click to vote
FMSD
2002
15 years 7 months ago
2002
Object-based sequential programming has had a major impact on software engineering. However, object-based concurrent programming remains elusive as an effective programming tool. T...
173
click to vote
AH
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In this paper, we present the system "DAWN" (direction anticipation in web navigation) that helps users to navigate through the world wide web. Firstly, the pur...
176
click to vote
ACL
2008
15 years 8 months ago
2008
This paper describes a computational approach to resolving the true referent of a named mention of a person in the body of an email. A generative model of mention generation is us...