16206 search results - page 3230 / 3242 » Software Engineering is Not Enough |
TSE
2011
14 years 4 months ago
2011
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
120
click to vote
TSE
2011
14 years 4 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
105
click to vote
WWW
2011
ACM
14 years 4 months ago
2011
ACM
The multimedia information retrieval community has dedicated extensive research effort to the problem of content-based image retrieval (CBIR). However, these systems find their ma...
100
click to vote
SIAMNUM
2011
14 years 4 months ago
2011
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
JUCS
2010
14 years 4 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...