276 search results - page 25 / 56 » Decomposition tool for event-B |
104
click to vote
TYPES
1998
Springer
15 years 1 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
ANOR
2005
14 years 9 months ago
2005
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
CSMR
2010
IEEE
14 years 4 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
71
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
111
click to vote
AIRWEB
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we study the overall link-based spam structure and its evolution which would be helpful for the development of robust analysis tools and research for Web spamming a...