3831 search results - page 392 / 767 » Dynamic Context Logic |
147
click to vote
CONTEXT
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. The ostensive model assumes that a user’s information need is dynamic and developing, thus, a recently accessed object can be seen as more indicative to the current inf...
156
click to vote
SPIN
2007
Springer
16 years 24 days ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
234
click to vote
MATA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. In the context of ubiquitous and pervasive computing, publish/subscribe middleware is gaining momentum due to its loosely coupled communication scheme. In this paper we p...
195
click to vote
HT
2004
ACM
16 years 3 days ago
2004
ACM
Adaptive hypermedia has the goal of contextualizing the display of a hypertext to suit the user and their situation. A variety of aspects of the context can influence the appropri...
150
click to vote
SACRYPT
2004
Springer
16 years 1 days ago
2004
Springer
The white box attack context as described in [1, 2] is the common setting where cryptographic software is executed in an untrusted environment—i.e. an attacker has gained access ...