36320 search results - page 92 / 7264 » From Code to Models |
165
click to vote
EUROMICRO
2007
IEEE
16 years 19 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
138
click to vote
ECCC
2010
15 years 6 months ago
2010
A linear code is said to be affine-invariant if the coordinates of the code can be viewed as a vector space and the code is invariant under an affine transformation of the coordin...
180
click to vote
WSKS
2009
Springer
15 years 10 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
193
click to vote
INFOCOM
2009
IEEE
16 years 28 days ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
178
click to vote
GAMEON
2008
15 years 7 months ago
2008
The increasing complexity of game development highlights the need of intellectual and industrial tools to enhance productivity in terms of quality, time and cost. In this paper we...