3239 search results - page 188 / 648 » A Logical Process Calculus |
121
click to vote
WCE
2007
15 years 4 months ago
2007
- We proposed the cost effective (in sense of gate number) asynchronous two-level logic. It is based on AND-OR implementation of minimized logic functions. We formulated and proved...
124
click to vote
IJCIS
2006
15 years 3 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
119
Voted
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Query graphs with cuts are inspired by Sowa’s conceptual graphs, which are in turn based on Peirce’s existential graphs. In my thesis ‘The Logic System of Concept Graphs with...
119
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
139
click to vote
PODS
1997
ACM
15 years 7 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...