416 search results - page 32 / 84 » Modeling Input Validation in UML |
111
Voted
DSD
2009
IEEE
14 years 11 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...
189
click to vote
ADIS
2001
15 years 3 months ago
2001
The quality of class diagrams is critical because it has a great influence on the quality of the object oriented information system (OOIS) which are finally delivered. This fact mo...
109
click to vote
FC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. This paper introduces certified sets to the private set intersection problem. A private set intersection protocol allows Alice and Bob to jointly compute the set intersec...
109
click to vote
IWPSE
2005
IEEE
15 years 7 months ago
2005
IEEE
The evolution of Web Applications needs to be supported by the availability of proper analysis and design documents. UML use case diagrams are certainly useful to identify feature...
102
Voted
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...