1645 search results - page 71 / 329 » Rationale-Based Use Case Specification |
191
click to vote
WAPCV
2007
Springer
16 years 11 days ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
168
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
187
click to vote
TSP
2010
15 years 29 days ago
2010
In this paper, we propose the complex Gaussian scale mixture (CGSM) to model the complex wavelet coefficients as an extension of the Gaussian scale mixture (GSM), which is for real...
202
click to vote
JODS
2006
15 years 6 months ago
2006
While providing a uniform syntax and a semistructured data model, XML does not express semantics but only structure such as nesting information. In this paper, we consider the prob...
152
click to vote
TSE
1998
15 years 5 months ago
1998
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...