860 search results - page 38 / 172 » A Process Algebra Based Verification of a Production System |
ACS
2008
13 years 7 months ago
2008
Abstract Subobject transformation systems (sts) are proposed as a novel formal framework for the analysis of derivations of transformation systems based on the algebraic, double-pu...
IEEESCC
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes characteristics of information and service design by exploring the needs and motivations of tourists. Tourists are expected to be important and demanding user...
SIGMOD
1996
ACM
13 years 12 months ago
1996
ACM
Magic sets rewriting is a well-known optimization heuristic for complex decision-support queries. There can be many variants of this rewriting even for a single query, which diffe...
WSC
1997
13 years 9 months ago
1997
We describe a discrete-process simulation analysis of a production system at an automotive supply company. This simulation project was undertaken with the goals of demonstrating a...
GLOBECOM
2009
IEEE
13 years 11 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...