1995 search results - page 196 / 399 » The Chemical Abstract Machine |
124
Voted
ENTCS
2007
15 years 5 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...
167
Voted
JSA
2008
15 years 4 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...
168
Voted
JACM
2010
15 years 3 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 ...
121
click to vote
PRIMA
2009
Springer
15 years 11 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...
172
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...