1788 search results - page 214 / 358 » Model Theory for Process Algebra |
145
click to vote
ALIFE
2002
15 years 3 months ago
2002
nized according to abstract classificatory principles..."5 Adorno's point was that 1 Adorno, T.W., Dahrendorf, R., Pilot, H., Albert, H., Habermas, J. and Popper, K.:The ...
166
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
138
click to vote
ACTA
2007
15 years 4 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...
164
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
135
click to vote
JSAC
2006
15 years 4 months ago
2006
The characterization of the transfer function of the power line (PL) channel is a nontrivial task that requires a truly interdisciplinary approach. Until recently, a common attribu...