4008 search results - page 26 / 802 » An expressive language of signatures |
MSE
2000
IEEE
14 years 2 months ago
2000
IEEE
With the increase of multimedia contents in the WWW, multimodal presentation using interactive life-like agents is attractive and becoming important. However, it is not easy for m...
ICDT
2007
ACM
14 years 4 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
SPIN
2000
Springer
14 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
13 years 10 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...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
