230 search results - page 10 / 46 » A formal analysis of requirements-based testing |
178
click to vote
COLING
2010
15 years 22 days ago
2010
We explore the near-synonym lexical choice problem using a novel representation of near-synonyms and their contexts in the latent semantic space. In contrast to traditional latent...
130
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
190
Voted
SIES
2007
IEEE
16 years 1 hour ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
144
click to vote
PVLDB
2010
15 years 14 days ago
2010
In this paper, we tackle the problem of efficient skycube computation. We introduce a novel approach significantly reducing domination tests for a given subspace and the number of...
136
click to vote
CACM
2010
15 years 5 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...