8196 search results - page 415 / 1640 » Computational Modeling and Complexity Science |
156
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
162
click to vote
SPIN
2005
Springer
16 years 8 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
164
click to vote
GG
2004
Springer
16 years 5 days ago
2004
Springer
In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these g...
165
Voted
ICMT
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In Model-Driven Engineering (MDE), Higher-Order Transformations (HOTs) are model transformations that analyze, produce or manipulate other model transformations. In a pre...
150
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
A zap is a two-round, public coin witness-indistinguishable protocol in which the first round, consisting of a message from the verifier to the prover, can be fixed “once and...