3718 search results - page 455 / 744 » IMPS: System Description |
160
click to vote
ISWC
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
172
Voted
QEST
2005
IEEE
16 years 8 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...
156
click to vote
SEFM
2005
IEEE
16 years 8 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...
207
click to vote
SKG
2005
IEEE
16 years 8 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...
183
click to vote
SYNASC
2005
IEEE
16 years 8 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...