4469 search results - page 343 / 894 » A Language for Role Specifications |
210
click to vote
FIW
1998
15 years 8 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
290
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
189
click to vote
SIGMOD
2003
ACM
16 years 7 months ago
2003
ACM
While the XML Stylesheet Language for Transformations (XSLT) was not designed as a query language, it is well-suited for many query-like operations on XML documents including sele...
175
click to vote
ASWEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Incorporating components from a number of different sources into a given application is generally considered to be a non-trivial activity. Over the years, various coordination mec...
163
click to vote
PDCAT
2007
Springer
16 years 28 days ago
2007
Springer
We present the architecture of nreduce, a distributed virtual machine which uses parallel graph reduction to run programs across a set of computers. It executes code written in a ...