2206 search results - page 278 / 442 » Software Engineering and Modeling Education: Problems and So... |
296
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
195
click to vote
CSC
2009
15 years 7 months ago
2009
- The Traveling Salesman Problem (TSP) is perhaps the most famous optimization problem in the set NP-hard. Many problems that are natural applications in computer science and engin...
161
click to vote
SEKE
2004
Springer
15 years 12 months ago
2004
Springer
People often use software for mundane tasks and expect it to be dependable enough for their needs. Unfortunately, the incomplete and imprecise specifications of such everyday sof...
140
click to vote
METRICS
2003
IEEE
15 years 11 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
184
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Network-centric computing aims to solve the problems associated with traditional client/server systems, namely the high performance requirements, and costly maintenance of, the co...