860 search results - page 54 / 172 » Japanese Case Structure Analysis |
140
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
131
click to vote
ICEBE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a preliminary effort on visualization and analysis of social networks for online marketplaces. We use one of the most popular e-business models, eBay, as a cas...
117
click to vote
GCB
2006
Springer
15 years 8 months ago
2006
Springer
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...
151
click to vote
IJSEKE
2000
15 years 4 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
123
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this work, the focus is put on the behavior of a system in case a fault occurs that disables the system from executing its applications. Instead of executing a random subset of...