342 search results - page 58 / 69 » Compositional Testing with ioco |
SIGSOFT
1994
ACM
14 years 20 days ago
1994
ACM
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
APGV
2010
ACM
14 years 15 days ago
2010
ACM
In this paper we explore the ability of the human visual system to detect inconsistencies in the illumination of objects in images. We specifically focus on objects being lit fro...
DILS
2004
Springer
14 years 10 days ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
AUTONOMICS
2008
ACM
13 years 10 months ago
2008
ACM
Autonomic Management capabilities become increasingly important for attaining functional and quality goals in software systems. Nonetheless, successful Autonomic Management soluti...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
We have developed a computational framework to characterize social network dynamics in the blogosphere at individual, group and community levels. Such characterization could be us...