860 search results - page 47 / 172 » A Process Algebra Based Verification of a Production System |
160
Voted
DT
2006
15 years 3 months ago
2006
process: Designers must define higher abstraction levels that allow system modeling. They must use description languages that handle both hardware and software components to descri...
117
click to vote
MASCOTS
2008
15 years 5 months ago
2008
Obtaining representative and concise I/O workloads for the purpose of projecting the performance of storage systems remains a challenge due to the complex nature of I/O behaviors....
170
Voted
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
130
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...
115
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
Sparse representations of signals have received a great deal of attention in recent years, and the sparse representation classifier has very lately appeared in a speaker recogniti...