Sciweavers

6829 search results - page 196 / 1366
» Quantitative Generalizations of Languages
Sort
View
ASWSD
2006
Springer
15 years 10 months ago
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirk...
ECAI
2006
Springer
15 years 10 months ago
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes
One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics...
Benoit Gaudou, Andreas Herzig, Dominique Longin, M...
ESOP
2006
Springer
15 years 10 months ago
A Typed Assembly Language for Confidentiality
Language-based information-flow analysis is promising in protecting data confidentiality. Although much work has been carried out in this area, relatively little has been done for ...
Dachuan Yu, Nayeem Islam
ECLIPSE
2005
ACM
15 years 8 months ago
Instant IDEs: supporting new languages in the CDT
While Eclipse has greatly simplified the task of creating integrated development environments, creating a full-featured IDE can still take years. Fortunately, for a large categor...
Jeffrey Overbey, Craig Rasmussen
LREC
2010
196views Education» more  LREC 2010»
15 years 8 months ago
Composing Human and Machine Translation Services: Language Grid for Improving Localization Processes
With the development of the Internet environments, more and more language services become accessible for common people. However, the gap between human translators and machine tran...
Donghui Lin, Yoshiaki Murakami, Toru Ishida, Yohei...