7452 search results - page 325 / 1491 » A Semantics for Multiprocessor Systems |
182
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
192
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
The unfolding of a system represents in a single branching structure all its possible computations: it is the cornerstone both of semantical constructions and of efficient partial ...
186
click to vote
JFPLC
1998
15 years 8 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
186
click to vote
SYRCODIS
2007
15 years 8 months ago
2007
Recommender systems apply statistical and knowledge discovery techniques to the problem of making recommendations during live user interaction. This paper describes a novel approa...
160
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we provide a general overview of our recent research contributions, with focus on the proposed approach for building service ontologies to serve as an interoperabili...