2748 search results - page 513 / 550 » Generating Object-Z Specifications from Use Cases |
104
click to vote
IOR
2006
14 years 11 months ago
2006
The stochastic differential equations for affine jump diffusion models do not yield exact solutions that can be directly simulated. Discretization methods can be used for simulati...
102
click to vote
TASLP
2008
14 years 11 months ago
2008
The beam tracing method can be used for the fast tracing of a large number of acoustic paths through a direct lookup of a special tree-like data structure (beam tree) that describe...
TCSV
2008
14 years 11 months ago
2008
Recently, among various data hiding techniques, a new subset, lossless data hiding, has received increasing interest. Most of the existing lossless data hiding algorithms are, howe...
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
—The implementation of distributed network utility maximization (NUM) algorithms hinges heavily on information feedback through message passing among network elements. In practic...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
Monitoring the satisfaction of software requirements and diagnosing what went wrong in case of failure is a hard problem that has received little attention in the Software and Req...