9974 search results - page 1460 / 1995 » Software Interconnection Models |
170
click to vote
AH
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper we present an approach to time-based adaptation in adaptive hypermedia systems. Time is used as a part of the context (or environment) model. We have propos...
175
click to vote
FOSSACS
2004
Springer
16 years 13 days ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
176
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...
189
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
179
click to vote
ICCSA
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. It is desirable to generate a digital signature using biometrics but not practicable because of its inaccurate measuring and potential hill-climbing attacks, without usin...