10159 search results - page 1827 / 2032 » System Design Validation Using Formal Models |
212
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Fine-grained lock protocols with lock modes and lock granules adjusted to the various XML processing models, allow for highly concurrent transaction processing on XML tre...
220
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
Cloud services accessed through mobile devices suffer from high network access latencies and are constrained by energy budgets dictated by the devices’ batteries. Radio and batt...
203
click to vote
CGF
1998
15 years 6 months ago
1998
An interactive system is described for creating and animating deformable 3D characters. By using a hybrid layered model of kinematic and physics-based components together with an ...
203
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The paper proposed to use recurrent Fuzzy-Neural Multi-Model (FNMM) identifier for decentralized identification of a distributed parameter anaerobic wastewater treatment digestion ...
181
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...