1874 search results - page 181 / 375 » Abstract Machine for LDL |
112
click to vote
ENTCS
2007
15 years 3 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
154
click to vote
JSA
2008
15 years 2 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
150
click to vote
JACM
2010
15 years 1 months ago
2010
clustering of documents according to sharing of topics at multiple levels of abstraction. Given a corpus of documents, a posterior inference algorithm finds an approximation to a ...
147
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
109
click to vote
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, we present a protocol for collaborative translation, where two non-bilingual people who use different languages collaborate to perform the task of transla...