442 search results - page 64 / 89 » Model Checking of Systems Employing Commutative Functions |
112
Voted
APSEC
2008
IEEE
15 years 4 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...
116
Voted
ICDCS
1990
IEEE
15 years 6 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
131
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...
155
Voted
CL
2008
Springer
15 years 2 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
100
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
2003
IEEE
— We consider the problem of scheduling packets over a number of channels with time varying connectivity. Policies proposed for this problem either stabilize the system when the ...