563 search results - page 49 / 113 » A Typing Scheme for Behavioural Models |
144
click to vote
JCP
2008
15 years 4 months ago
2008
In this paper, real-time system identification of an unmanned aerial vehicle (UAV) based on multiple neural networks is presented. The UAV is a multi-input multi-output (MIMO) nonl...
106
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
Many numerical schemes can be suitably studied from a system theoretic point of view. This paper studies the relationship between the two disciplines, that is, numerical analysis ...
144
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
143
click to vote
EUROCRYPT
2012
Springer
13 years 6 months ago
2012
Springer
This paper proposes the first inner product encryption (IPE) scheme that is adaptively secure and fully attribute-hiding (attribute-hiding in the sense of the definition by Katz...
117
click to vote
APSEC
2000
IEEE
15 years 8 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...