3515 search results - page 640 / 703 » On the semantics of Strategy Logic |
182
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
170
click to vote
SMALLTALK
2007
Springer
16 years 1 months ago
2007
Springer
Real world software systems change continuously to meet new demands. Most programming languages and development environments, however, are more concerned with limiting the effects...
228
click to vote
CSFW
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. Interactive programs allow users to engage in input and output throughout execution. The ubiquity of such programs motivates the development of models for reasoning about...
199
click to vote
SACMAT
2006
ACM
16 years 28 days ago
2006
ACM
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
164
click to vote
SIGIR
2006
ACM
16 years 28 days ago
2006
ACM
In this paper, we propose a new strategy with time granularity reasoning for utilizing temporal information in topic tracking. Compared with previous ones, our work has four disti...