1481 search results - page 270 / 297 » Enriching the Software Development Process by Formal Methods |
SEKE
2009
Springer
15 years 4 months ago
2009
Springer
In a decision-making process, a systematic method to manage and measure negotiation aspects provides crucial information to negotiators and has emerged as a key factor to determin...
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
101
click to vote
ARCS
2006
Springer
15 years 3 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
108
click to vote
VIROLOGY
2010
14 years 10 months ago
2010
Abstract. This paper gives an overview of our research in the automation of the process of software protection analysis. We will focus more particularly on the problem of obfuscati...
122
click to vote
WSE
2002
IEEE
15 years 4 months ago
2002
IEEE
As the use of the World Wide Web becomes more pervasive within our society, businesses and institutions are required to migrate a wide range of services to the web. Difficulties a...