1269 search results - page 113 / 254 » Pi-Calculus in Logical Form |
89
Voted
DSOM
2006
Springer
15 years 4 months ago
2006
Springer
According to ITIL, a CMDB (Configuration Management Database), containing a logical model of the IT infrastructure, forms the basis for effective and efficient IT Service Managemen...
97
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
We propose a timing optimization technique for a complex finite state machine that consists of not only random logic but also data operators. In such a design, the timing critical...
126
Voted
DAGSTUHL
2008
15 years 2 months ago
2008
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give ...
LREC
2008
15 years 2 months ago
2008
Many of the beliefs that one uses to reason about everyday entities and events are neither strictly true or even logically consistent. Rather, people appear to rely on a large bod...
72
Voted
ACL
1992
15 years 1 months ago
1992
We present a new compositional tense-aspect deindexing mechanism that makes use of tense trees as components of discourse contexts. The mechanism allows reference episodes to be c...