3763 search results - page 629 / 753 » Component-Based Software Engineering Processes |
115
click to vote
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: Today’s network processor utilize parallel processing in order to cope with the traffic growth and wire-speed of current and future network technologies. In this paper, we stu...
ARCS
2004
Springer
15 years 8 months ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
112
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
109
Voted
FDL
2003
IEEE
15 years 7 months ago
2003
IEEE
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...