959 search results - page 120 / 192 » Transfers between Logics and their Applications |
178
click to vote
APN
2010
Springer
15 years 6 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...
149
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
The accuracy of plant parameters estimated in closed-loop operation is investigated for a class of multivariable systems and for the situation where only some of the reference inp...
152
click to vote
CN
2010
15 years 6 months ago
2010
Ptrim is a purely decentralised application for performing peer-to-peer transactions. Instead of relying on a typical trust/reputation management approach, Ptrim allows its users t...
154
click to vote
CCE
2008
15 years 6 months ago
2008
We present a novel approach for solving different design problems related to single products in multipurpose batch plants: the selection of one production line out of several avai...
148
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
In this paper, we present a Grid computing platform that provides experimental scientists and analysts with access to computational simulations and knowledge databases hosted in s...