6174 search results - page 352 / 1235 » The language of social software |
171
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
Analyzing and modelling a software system with separate views is a good practice to deal with complexity and maintainability. When adopting such a modular approach for modelling, i...
203
click to vote
PADL
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
175
click to vote
GPCE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
197
click to vote
MIDDLEWARE
2004
Springer
16 years 6 days ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...
158
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...