Sciweavers

447 search results - page 77 / 90
» Similarity for reuse of specifications in communication soft...
Sort
View
ICIP
2010
IEEE
13 years 6 months ago
Reduced-reference SSIM estimation
The structural similarity (SSIM) index has been shown to be a good perceptual image quality predictor. In many real-world applications such as network visual communications, howev...
Abdul Rehman, Zhou Wang
SEAA
2008
IEEE
14 years 3 months ago
Checking Session-Oriented Interactions between Web Services
Although web services are generally envisioned as being stateless, some of them are implicitly stateful. The reason is that the web services often work as front-ends to enterprise...
Pavel Parizek, Jirí Adámek
CORR
2002
Springer
104views Education» more  CORR 2002»
13 years 8 months ago
Design Patterns for Functional Strategic Programming
We believe that design patterns can be an effective means of consolidating and communicating program construction expertise for functional programming, just as they have proven to...
Ralf Lämmel, Joost Visser
DLS
2009
196views Languages» more  DLS 2009»
13 years 6 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
FMICS
2006
Springer
14 years 12 days ago
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
Anders Hessel, Paul Pettersson