860 search results - page 121 / 172 » A Process Algebra Based Verification of a Production System |
JSS
2002
13 years 8 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
BMCBI
2007
13 years 9 months ago
2007
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
ECOWS
2007
Springer
14 years 3 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
Relays represent a promising approach to extend the cell coverage, combat the strong shadowing effects as well as guarantee the QoS in dense networks. Among the numerous existing ...
WOA
2004
13 years 10 months ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...