1948 search results - page 243 / 390 » Formalizing Mirror Theory |
176
click to vote
EMSOFT
2005
Springer
16 years 5 days ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
163
click to vote
EPIA
2005
Springer
16 years 5 days ago
2005
Springer
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
170
click to vote
ER
2005
Springer
16 years 5 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...
180
click to vote
FORMATS
2005
Springer
16 years 5 days ago
2005
Springer
Within hybrid systems theory, o-minimal automata are often considered on the border between decidability and undecidability. In such classes of hybrid automata, the constraint of h...
151
click to vote
ICCSA
2005
Springer
16 years 4 days ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...