581 search results - page 38 / 117 » Translating dependency into parametricity |
DSVIS
1995
Springer
14 years 1 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
RTAS
2003
IEEE
14 years 3 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
SRDS
1998
IEEE
14 years 2 months ago
1998
IEEE
Dependable distributed systems are difficult to build. This is particularly true if they have dependability requirements that change during the execution of an application, and are...
TSD
1999
Springer
14 years 2 months ago
1999
Springer
The use of the treebank as a resource for linguistic research has led us to look for an annotation scheme representing not only surface syntactic information (in ‘analytic treesâ...
DICS
2006
13 years 12 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...