4008 search results - page 363 / 802 » An expressive language of signatures |
153
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
One of the challenges faced by network management systems is the increasing need for consistent management of physical network equipment. We propose a solution where equipment is m...
145
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
165
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
We present Flow-based Management Language (FML), a declarative policy language for managing the configuration of enterprise networks. FML was designed to replace the many dispara...
191
click to vote
FCCM
2008
IEEE
16 years 1 months ago
2008
IEEE
—Gel is a hardware description language that enables quick scripting of high level designs and can be easily extended to new design patterns. It is expression oriented and extrem...
168
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...