1269 search results - page 87 / 254 » Pi-Calculus in Logical Form |
124
Voted
FORTE
2009
14 years 10 months ago
2009
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
126
click to vote
ACL
2012
13 years 3 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
105
click to vote
VMCAI
2009
Springer
15 years 7 months ago
2009
Springer
A new approach based on constraint solving techniques was recently proposed for veriļ¬cation of hybrid systems. This approach works by searching for inductive invariants of a give...
112
Voted
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
131
Voted
TARK
2007
Springer
15 years 6 months ago
2007
Springer
We investigate the discrete (ļ¬nite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...