3763 search results - page 629 / 753 » Component-Based Software Engineering Processes |
175
click to vote
ARCS
2004
Springer
16 years 3 days 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...
137
click to vote
ARCS
2004
Springer
16 years 3 days 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...
163
click to vote
FOSSACS
2004
Springer
16 years 3 days 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...
169
click to vote
ICFEM
2004
Springer
16 years 2 days 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...
157
Voted
FDL
2003
IEEE
16 years 6 hour 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 ...