6171 search results - page 779 / 1235 » The FrameNet Data and Software |
189
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (or...
206
click to vote
PEPM
2007
ACM
16 years 1 months ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
197
click to vote
PPDP
2007
Springer
16 years 1 months ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...
178
click to vote
RE
2007
Springer
16 years 1 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
193
click to vote
SOFSEM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...