1837 search results - page 176 / 368 » Architecture = Abstractions over Software |
131
Voted
BTW
2003
Springer
15 years 6 months ago
2003
Springer
Abstract: This paper introduces the Internet Operating Platform (IOP), an enterprise framework for large scale software development. In addition to obeying to important standards (...
96
Voted
DAGSTUHL
2004
15 years 2 months ago
2004
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
103
Voted
CC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents an innovative, adaptive variant of Kohonen’s selforganizing maps called ASOM, which is an unsupervised clustering method that adaptively decides on ...
97
Voted
EMSOFT
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...