Sciweavers

27119 search results - page 356 / 5424
» Languages
Sort
View
CIBSE
2009
ACM
16 years 1 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
172
Voted
DIGITEL
2008
IEEE
16 years 1 months ago
Using Humanoid Robots as Instructional Media in Elementary Language Education
As robot technologies have developed rapidly, many researchers have tried to use robots to support education. Studies have shown that robots can help students develop problem-solv...
Gwo-Dong Chen, Chih-Wei Chang
HASE
2008
IEEE
16 years 1 months ago
A Multi-Periodic Synchronous Data-Flow Language
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...
Julien Forget, Frédéric Boniol, Davi...
IEEEIAS
2008
IEEE
16 years 1 months ago
Challenges for Security Typed Web Scripting Languages Design
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
159
Voted
HICSS
2007
IEEE
111views Biometrics» more  HICSS 2007»
16 years 1 months ago
Language Networks on LiveJournal
Language use in 1,000 randomly-selected and 5,025 crawled LiveJournals was analyzed in order to determine the overall language demographics, the robustness of four non-English lan...
Susan C. Herring, John C. Paolillo, Irene Ramos-Vi...