1259 search results - page 189 / 252 » Use Cases, Actions, and Roles |
131
click to vote
RE
1995
Springer
15 years 9 months ago
1995
Springer
In an evolving specification, considerable development time and effort is spent handling recurrent inconsistencies. Tools and techniques for detecting and resolving inconsistencie...
137
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between th...
152
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
158
click to vote
IJCAI
2003
15 years 7 months ago
2003
In order for agents and humans to leverage the growing wealth of heterogeneous information and services on the web, increasingly, they need to understand the information that is d...
161
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...