4212 search results - page 25 / 843 » Rights Expression Languages |
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
CL
2000
Springer
14 years 9 months ago
2000
Springer
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
72
Voted
TIME
2006
IEEE
15 years 3 months ago
2006
IEEE
WIA
2005
Springer
15 years 3 months ago
2005
Springer
67
Voted
PODS
1998
ACM
15 years 1 months ago
1998
ACM
