1799 search results - page 75 / 360 » The Logic of Correctness in Software Engineering |
139
click to vote
WEBENG
2001
Springer
15 years 10 months ago
2001
Springer
This paper introduces the Web Engineering Resources Portal (shortly WEP), as a basic Reference Model and Guide for the Web Engineers. WEP provides a general classification of Web E...
163
click to vote
CGO
2004
IEEE
15 years 9 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to outer loops. In this paper, we propose a threestep ap...
242
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
267
click to vote
IUI
2012
ACM
14 years 1 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
126
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system critical for an organization exhibits a problem during its operation, it is relevant to fix it in a short period of time, to avoid serious economical losse...