6794 search results - page 1124 / 1359 » Semantics of Visual Languages |
149
click to vote
ENTCS
2002
15 years 2 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
121
Voted
TPLP
2002
15 years 2 months ago
2002
It is important that practical data-flow analyzers are backed by reliably proven theoretical Abstract interpretation provides a sound mathematical framework and necessary properti...
115
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
119
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
146
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...