3706 search results - page 440 / 742 » System Description: E-KRHyper |
176
Voted
QEST
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
158
click to vote
SEFM
2005
IEEE
16 years 10 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
209
click to vote
SKG
2005
IEEE
16 years 10 days ago
2005
IEEE
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
185
click to vote
SYNASC
2005
IEEE
16 years 10 days ago
2005
IEEE
— Systolic online algorithms for the multiplication of univariate polynomials and of multiple precision integers are synthesised using a novel method based on the following funct...
173
click to vote
MM
2005
ACM
16 years 9 days ago
2005
ACM
Advanced systems for finding, using, sharing, and remixing video require high-level representations of video content. A number of researchers have taken top-down, analytic approac...