838 search results - page 91 / 168 » From Natural Language to Formal Proof Goal |
188
click to vote
SAC
2008
ACM
15 years 5 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 ...
190
click to vote
ASM
2010
ASM
16 years 20 days ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
138
click to vote
LREC
2008
15 years 7 months ago
2008
Motivated by the expense in time and other resources to produce hand-crafted grammars, there has been increased interest in automatically obtained wide-coverage grammars from tree...
198
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
158
click to vote
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...