860 search results - page 38 / 172 » A Process Algebra Based Verification of a Production System |
103
Voted
ACS
2008
15 years 3 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...
143
Voted
IEEESCC
2008
IEEE
15 years 10 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...
126
Voted
SIGMOD
1996
ACM
15 years 7 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...
149
Voted
WSC
1997
15 years 5 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...
131
Voted
GLOBECOM
2009
IEEE
15 years 7 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...