Sciweavers

1377 search results - page 63 / 276
» A bio-inspired system model for interactive surveillance app...
Sort
View
ICRA
2002
IEEE
160views Robotics» more  ICRA 2002»
15 years 11 months ago
Real Time Simulation of Multizone Elastokinematic Models
— We introduce precomputed multizone elastokinematic models for interactive simulation of multibody kinematic systems which include elastostatic deformations. This enables an eï¬...
Doug L. James, Dinesh K. Pai
FORTE
2007
15 years 7 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
ECCC
2010
98views more  ECCC 2010»
15 years 4 months ago
Verifying Computations with Streaming Interactive Proofs
Applications based on outsourcing computation require guarantees to the data owner that the desired computation has been performed correctly by the service provider. Methods based...
Graham Cormode, Justin Thaler, Ke Yi
IPPS
2010
IEEE
15 years 4 months ago
Operating system resource management
From the point of view of an operating system, a computer is managed and optimized in terms of the application programming model and the management of system resources. For the TF...
Burton Smith
IUI
2003
ACM
15 years 11 months ago
Tool support for designing nomadic applications
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
Giulio Mori, Fabio Paternò, Carmen Santoro