1057 search results - page 109 / 212 » Testing from Formal Specifications, a Generic Approach |
ALIFE
2006
13 years 9 months ago
2006
Auditory displays have been successfully developed to assist data visualization in many areas, but have as yet received little attention in the field of Artificial Life. This pape...
JAIR
2006
13 years 9 months ago
2006
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consi...
CORR
1999
Springer
13 years 8 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
SAC
2002
ACM
13 years 8 months ago
2002
ACM
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
ENTCS
2006
13 years 9 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...