3831 search results - page 392 / 767 » Dynamic Context Logic |
164
click to vote
CONTEXT
2007
Springer
16 years 1 months 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...
178
Voted
SPIN
2007
Springer
16 years 1 months 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...
257
click to vote
MATA
2005
Springer
16 years 1 months 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...
229
click to vote
HT
2004
ACM
16 years 1 months 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...
174
click to vote
SACRYPT
2004
Springer
16 years 28 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 ...