5843 search results - page 775 / 1169 » Software Security in Practice |
164
click to vote
JECR
2000
15 years 6 months ago
2000
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
158
click to vote
TSE
2002
15 years 6 months ago
2002
We propose an approach (GQM/MEDEA) for defining measures of product attributes in software engineering. The approach is driven by the experimental goals of measurement, expressed v...
191
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
215
click to vote
IAJIT
2011
15 years 1 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
168
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Although many recent advances have been made in hardware synthesis techniques from software programming languages such as C, the performance of synthesized hardware commonly suffe...