1366 search results - page 190 / 274 » Modularizing Contexted Constraints |
143
click to vote
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
117
click to vote
AAAI
2008
15 years 5 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
143
click to vote
CAISE
2008
Springer
15 years 5 months ago
2008
Springer
There are many different process meta-models that offer different viewpoints of a same process: activity oriented, product oriented, decision oriented, context oriented and strateg...
124
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
101
click to vote
ESANN
2008
15 years 4 months ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...