Sciweavers

403 search results - page 27 / 81
» Contracts for higher-order functions
Sort
View
EEE
2005
IEEE
15 years 11 months ago
On Comprehensive Contractual Descriptions of Web Services
Comprehensive contractual description of Web Services and Web Service compositions is needed for selection of appropriate Web Services and their service and quality of service (Qo...
Vladimir Tosic, Bernard Pagurek
TOOLS
2010
IEEE
15 years 11 months ago
Contract-Driven Testing of JavaScript Code
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
Phillip Heidegger, Peter Thiemann
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
15 years 10 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
JGT
2010
79views more  JGT 2010»
15 years 4 months ago
Multi-coloring the Mycielskian of graphs
: A k-fold coloring of a graph is a function that assigns to each vertex a set of k colors, so that the color sets assigned to adjacent Contract grant sponsor: NSFC; Contract grant...
Wensong Lin, Daphne Der-Fen Liu, Xuding Zhu