1669 search results - page 111 / 334 » Modeling ODP Computational Specifications Using UML |
POPL
2000
ACM
14 years 24 days ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
ICDAR
2009
IEEE
13 years 7 months ago
2009
IEEE
The problem of writer identification in a multiscript environment is attempted using a twodimensional (2D) autoregressive (AR) modelling technique. Each writer is represented by a...
SAC
2002
ACM
13 years 9 months ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
RTSS
2007
IEEE
14 years 3 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
VLSID
2005
IEEE
14 years 9 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...