9006 search results - page 1268 / 1802 » Modeling Software |
179
click to vote
AH
2004
Springer
16 years 18 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...
184
click to vote
FOSSACS
2004
Springer
16 years 17 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 ...
183
click to vote
FSTTCS
2004
Springer
16 years 17 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...
199
click to vote
FSTTCS
2004
Springer
16 years 17 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...
197
click to vote
ICESS
2004
Springer
16 years 17 days ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...