1878 search results - page 129 / 376 » Efficient Performance Models in Component-Based Software Eng... |
115
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
112
Voted
CN
2006
15 years 2 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
137
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
A search engine that can handle TV programs and Web content in an integrated way is proposed. Conventional search engines have been able to handle Web content and/or data stored i...
160
Voted
METRICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Process assessment or process improvement is usually not considered in the context of Web applications, and the differences between Web applications and traditional applications a...
121
Voted
TACAS
2010
Springer
15 years 20 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...