935 search results - page 97 / 187 » A Framework for Obfuscated Interpretation |
152
click to vote
CSL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...
173
click to vote
ICPADS
1996
IEEE
15 years 8 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
148
click to vote
COOPIS
1994
IEEE
15 years 8 months ago
1994
IEEE
We present a logical framework for representing the agents in two different cooperating information systems. We define an architecture for Integrated Supply Chain Management in wh...
140
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We present a formal framework for syntax directed probabilistic program analysis. Our focus is on probabilistic pointer analysis. We show how to obtain probabilistic poin...
165
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper adresses the variance quantification problem for system identification based on the prediction error framework. The role of input and model class selection for the auto-...