6018 search results - page 387 / 1204 » Factored Translation Models |
148
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
180
click to vote
FSTTCS
2007
Springer
16 years 1 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
168
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a novel approach to the smart execution of scenario-based models of reactive systems, such as those resulting from the multi-modal inter-object language of live sequen...
206
click to vote
AUSAI
2004
Springer
16 years 8 days ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
192
click to vote
WISE
2003
Springer
16 years 4 days ago
2003
Springer
In this paper, we further develop a proposed layered approach for the Semantic Web. Our objective is to build a specific solution to the problem of providing data interoperability...