10055 search results - page 1252 / 2011 » Structured programming using processes |
239
click to vote
IFIP
2000
Springer
15 years 11 months ago
2000
Springer
The validation of functional and real-time requirements of control software for embedded systems is a difficult task. It usually needs the electronic control unit (ECU) and the co...
206
click to vote
ENTCS
2008
15 years 7 months ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
173
click to vote
IFIP
2009
Springer
15 years 5 months ago
2009
Springer
The Trusted Platform Module (TPM) is a hardware chip designed to enable computers achieve greater security. Proof of possession of authorisation values known as authdata is require...
205
click to vote
ILP
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...
188
Voted
APSEC
2008
IEEE
15 years 9 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...