3420 search results - page 327 / 684 » A Language-Based Approach to Security |
155
click to vote
IAT
2006
IEEE
16 years 23 days ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...
163
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
194
click to vote
SBCCI
2004
ACM
16 years 4 days ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
146
click to vote
HICSS
2003
IEEE
16 years 11 hour ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
152
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...