860 search results - page 79 / 172 » A Process Algebra Based Verification of a Production System |
LICS
2009
IEEE
14 years 3 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...
VLDB
1992
ACM
14 years 1 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 ...
HICSS
2008
IEEE
14 years 3 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 ...
SIGMOD
2006
ACM
14 years 9 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...
CONCUR
2008
Springer
13 years 11 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...