1370 search results - page 148 / 274 » Towards Automatic Generation of Natural Language Generation ... |
192
click to vote
UML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
329
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
202
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
Enterprises provide professionally authored content about their products/services in different languages for use in web sites and customer care. For customer care, personalization...
153
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
Many operating systems allow user programs to specify the protectionlevel (inaccessible, read-only, read-write) of pages in their virtual memory address space, and to handle any p...
191
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...