8623 search results - page 1386 / 1725 » Software engineering for secure systems |
167
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
167
click to vote
ISPASS
2008
IEEE
16 years 1 months ago
2008
IEEE
— This work addresses the problem of building representative subsets of benchmarks from an original large set of benchmarks, using statistical analysis techniques. The subsets sh...
166
Voted
ISPASS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents and experimentally evaluates two parallelization strategies for the popular open-source Snort network intrusion detection system (NIDS). Snort identifies intr...
195
Voted
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
152
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...