1078 search results - page 173 / 216 » Modelling and Verifying of e-Commerce Systems |
140
click to vote
IJON
2008
15 years 4 months ago
2008
The dynamical behavior and the stability properties of fixed points in a feedback auto-associative memory are investigated. The proposed structure encompasses a multi-layer percep...
166
click to vote
PAMI
2008
15 years 4 months ago
2008
In many computer vision systems, it is assumed that the image brightness of a point directly reflects the scene radiance of the point. However, the assumption does not hold in mos...
145
click to vote
ASE
2005
15 years 4 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
125
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
171
click to vote
EUROPAR
2010
Springer
15 years 2 months ago
2010
Springer
Star Superscalar is a task-based programming model. The programmer starts with an ordinary C program, and adds pragmas to mark functions as tasks, identifying their inputs and outp...