313 search results - page 15 / 63 » WebDSL: A Case Study in Domain-Specific Language Engineering |
COMPSAC
2011
IEEE
12 years 7 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
ER
2009
Springer
14 years 2 months ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
FSTTCS
1999
Springer
13 years 12 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
SOCO
2008
Springer
13 years 7 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
ICDE
2005
IEEE
14 years 1 months ago
2005
IEEE
¡ Several systems have recently been proposed for the evaluation of XPath expressions. However, none of these systems have demonstrated both scalability with large document sizes ...