4385 search results - page 380 / 877 » Abstraction for Concurrent Objects |
202
click to vote
FIDJI
2003
Springer
16 years 8 hour ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
157
click to vote
GECCO
2003
Springer
16 years 6 hour ago
2003
Springer
Abstract. This paper shows how the presence of states in test objects can hinder or render impossible the search for test data using evolutionary testing. Additional guidance is re...
194
click to vote
TAMC
2010
Springer
15 years 12 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
191
click to vote
GMP
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper is concerned with “open kernel” geometric modelling systems. It uses industrial needs to identify requirements for the geometric objects of a proposed interface. Th...
184
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. While sequential behavior of single objects is fairly well understood, orchestrating the collective behavior emerging from the behaviors of individual objects continues t...