1143 search results - page 171 / 229 » Abstract Syntax and Logic Programming |
88
Voted
FCCM
2000
IEEE
15 years 2 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
98
Voted
DALT
2003
Springer
15 years 3 months ago
2003
Springer
Work on agent communication languages has since long striven to achieve adequate speech act semantics; partly, the problem is that references to an agent’s architecture (in parti...
90
Voted
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool au...
114
Voted
CPAIOR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
102
Voted
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...