1689 search results - page 48 / 338 » Refining abstract interpretations |
103
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper provides an overview of an approach to coalgebraic modelling and refinement of state-based software components, summing up some basic results and introducing a...
108
click to vote
ENTCS
2002
15 years 1 months ago
2002
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
137
click to vote
ISF
2007
15 years 1 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
108
Voted
IWAN
1999
Springer
15 years 6 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
116
click to vote
TVCG
2010
15 years 9 days ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...