860 search results - page 84 / 172 » A Process Algebra Based Verification of a Production System |
129
Voted
JUCS
2010
15 years 1 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
107
click to vote
MFCS
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
136
click to vote
ICSE
2000
IEEE-ACM
15 years 7 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
127
Voted
VLDB
2007
ACM
15 years 9 months ago
2007
ACM
Forecasting future events based on historic data is useful in many domains like system management, adaptive query processing, environmental monitoring, and financial planning. We...
129
Voted
COORDINATION
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...