9443 search results - page 420 / 1889 » Web-centric language models |
165
Voted
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
We present in this paper our reflections about the requirements of new architectures and languages for the Web, confronted with the ones emerging from qualified scientists such as ...
263
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
169
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
175
click to vote
CAISE
2005
Springer
16 years 11 days ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
219
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...