2171 search results - page 293 / 435 » A Generic Process Algebra |
125
click to vote
DISCEX
2003
IEEE
15 years 9 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
156
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
Collective operations are an important aspect of the currently most important message-passing programming model MPI (Message Passing Interface). Many MPI applications make heavy u...
115
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
151
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
126
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The systematic design of a high-speed, high-accuracy Nyquist A/D converter is proposed. The presented design methodology covers the complete flow and is supported by software tool...