4447 search results - page 592 / 890 » Service Interaction Patterns |
195
click to vote
MSR
2005
ACM
16 years 19 days ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
183
click to vote
ESOP
2005
Springer
16 years 18 days ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
186
click to vote
ISNN
2005
Springer
16 years 17 days ago
2005
Springer
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
216
click to vote
SEKE
2005
Springer
16 years 16 days ago
2005
Springer
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
134
click to vote
ACRI
2004
Springer
16 years 14 days ago
2004
Springer
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...