8623 search results - page 1413 / 1725 » Software engineering for secure systems |
180
click to vote
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
1 The paper proposes a new test model, Call-For-Testing (CFT), and applies it to User Acceptance Testing (UAT) of Web Applications. Different from traditional approaches, UAT in th...
264
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
207
click to vote
CODES
2010
IEEE
15 years 4 months ago
2010
IEEE
In high-level synthesis, pipelined designs are often restricted by the number of memory banks available to the synthesis system. Using multiple memory banks can improve the perfor...
203
click to vote
CCR
2011
15 years 1 months ago
2011
While analyzing CAIDA Internet traces of TCP traffic to detect instances of data reneging, we frequently observed seven misbehaviors in the generation of SACKs. These misbehaviors...
199
click to vote
SIAMAM
2011
15 years 1 months ago
2011
An extension of the Colombo phase transition model is proposed. The congestion phase is described by a two-dimensional zone defined around an equilibrium flux known as the classi...