860 search results - page 79 / 172 » A Process Algebra Based Verification of a Production System |
125
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Linear Logic is based on the analogy between algebraic linearity (i.e. commutation with sums and scalar products) and the computer science linearity (i.e. calling inputs only once...
117
Voted
VLDB
1992
ACM
15 years 7 months ago
1992
ACM
We propose an extended relational database model which can model both uncertainty and imprecision in data. This model is basedon Dempster-Shafertheory which has become popular in ...
111
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
What does differentiate service systems from traditional subjects of systems engineering such as manufacturing, and software? We address this issue by defining customer-intensive ...
192
Voted
SIGMOD
2006
ACM
16 years 3 months ago
2006
ACM
The data base concept derives from early military on-line systems, and was not originally associated with the specific technologies of modern data base management systems. While t...
152
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...