15614 search results - page 2817 / 3123 » The State of State |
157
click to vote
ISSTA
2006
ACM
16 years 21 days 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...
181
click to vote
ISSTA
2006
ACM
16 years 21 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
158
click to vote
ITICSE
2006
ACM
16 years 21 days ago
2006
ACM
It is well known that women’s involvement in the field of Computer Science is very low in the USA. This is viewed as a significant problem and has become a great concern to educ...
210
click to vote
IUI
2006
ACM
16 years 21 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
173
click to vote
IWCMC
2006
ACM
16 years 21 days ago
2006
ACM
Cross-Layer design has been the focus of several recent research efforts. Due to the highly variable nature of the links used in wireless communication systems and the resource-po...