7139 search results - page 775 / 1428 » Language Engineering in Practice |
180
click to vote
SIGADA
2004
Springer
16 years 24 days ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
183
click to vote
DISCEX
2003
IEEE
16 years 23 days ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
225
click to vote
AMKM
2003
Springer
16 years 21 days ago
2003
Springer
We report on experience with using RDF to provide a rich content language for use with FIPA agent toolkits, and on RDFS as a metadata language. We emphasise their utility for prog...
186
click to vote
ICFEM
2003
Springer
16 years 20 days ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
174
click to vote
ECOOP
2010
Springer
16 years 8 days ago
2010
Springer
Abstract. The use of spreadsheets to capture information is widespread in industry. Spreadsheets can thus be a wealthy source of domain information. We propose to automatically ext...