9504 search results - page 1599 / 1901 » Dynamic Substitution Model |
173
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
256
click to vote
CORR
2011
Springer
15 years 1 days ago
2011
Springer
Aneka is an Application Platform-as-a-Service (Aneka PaaS) for Cloud Computing. It acts as a framework for building customized applications and deploying them on either public or ...
170
click to vote
JLP
2011
15 years 7 hour ago
2011
Service composition in Service Oriented Computing concerns not only integration of heterogeneous distributed applications but also dynamic selection of services. Quality of Servic...
208
Voted
TIP
2010
14 years 11 months ago
2010
Copyright protection is a key issue for video sharing over public networks. To protect the video content from unauthorized redistribution, digital fingerprinting is commonly used. ...
190
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Abstract—The paper studies the convergence properties of the estimation error processes in distributed Kalman filtering for potentially unstable linear dynamical systems. In par...