2722 search results - page 346 / 545 » Automating Language Evolution |
137
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
XACML has emerged as a popular access control language on the Web, but because of its rich expressiveness, it has proved difficult to analyze in an automated fashion. In this pape...
248
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. A class of probabilistic-logic models is considered, which increases the expressibility from HMM's and SCFG's regular and contextfree languages to, in principle...
277
click to vote
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
133
click to vote
VLSID
2005
IEEE
16 years 4 months ago
2005
IEEE
This paper presents a highly efficient processor design methodology based on the LISA 2.0 language. Typically the architecture design phase is dominated by an iterative processor ...
129
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...