860 search results - page 39 / 172 » A Process Algebra Based Verification of a Production System |
JLP
2010
13 years 2 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
CIDR
2007
13 years 9 months ago
2007
We describe the design and implementation of the Cornell Cayuga System for scalable event processing. We present a query language based on Cayuga Algebra for naturally expressing ...
IFL
2003
Springer
14 years 28 days ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...
WSC
2000
13 years 9 months ago
2000
A graphical discrete event simulation library is proposed for system simulation that is based on interacting concurrent processes. This library works with EXTEND (Imagine That Inc...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
We investigate relationships among software quality measures commonly used to assess the value of a technology, and several aspects of customer perceived quality measured by Inter...