5457 search results - page 959 / 1092 » Software Component Independence |
190
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
154
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we describe Automated Red Teaming (ART), a concept that uses Evolutionary Algorithm (EA), Parallel Computing and Simulation to complement the manual Red Teaming eff...
166
click to vote
SAFECOMP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
142
click to vote
SEMWEB
2007
Springer
16 years 18 days ago
2007
Springer
A lot of functionality is needed when an application, such as a museum cataloguing system, is extended with semantic capabilities, for example ontological indexing functionality or...
160
click to vote
DEEC
2006
IEEE
16 years 16 days ago
2006
IEEE
A substantial subset of the web data follows some kind of underlying structure. In order to let software programs gain full benefit from these “semistructured” web sources, wra...