2205 search results - page 436 / 441 » Mutation Operators for Specifications |
134
click to vote
KDD
2010
ACM
15 years 26 days ago
2010
ACM
Successful software maintenance is becoming increasingly critical due to the increasing dependence of our society and economy on software systems. One key problem of software main...
151
Voted
DOLAP
2010
ACM
15 years 13 days ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
134
Voted
ICDE
2010
IEEE
15 years 12 days ago
2010
IEEE
Linked open data (LOD), as provided by a quickly growing number of sources constitutes a wealth of easily accessible information. However, this data is not easy to understand. It i...
130
click to vote
ICTAC
2010
Springer
15 years 10 days ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
151
Voted
IMC
2010
ACM
15 years 10 days ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...