15784 search results - page 669 / 3157 » Mega Software Engineering |
181
click to vote
ESSOS
2010
Springer
16 years 10 days ago
2010
Springer
Web browsers that support a safe language such as Javascript are becoming a platform of great interest for security attacks. One such attack is a heap-spraying attack: a new kind o...
189
click to vote
COMPSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
168
click to vote
RE
1999
Springer
15 years 11 months ago
1999
Springer
One of the difficulties in requirements negotiation is to determine a feasible and mutually satisfactory set of requirements for the developer and the user, a problem related to C...
181
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
Retrieving images by content and forming visual queries are important functionality of an image database system. Using textual descriptions to specify queries on image content is ...
202
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...