Sciweavers

14056 search results - page 111 / 2812
» Consistency in Model Integration
Sort
View
WOTUG
2007
15 years 6 months ago
Concurrency Control and Recovery Management for Open e-Business Transactions
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
Amir R. Razavi, Sotiris Moschoyiannis, Paul J. Kra...
ASPLOS
2011
ACM
14 years 8 months ago
RCDC: a relaxed consistency deterministic computer
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
Joseph Devietti, Jacob Nelson, Tom Bergan, Luis Ce...
CEC
2008
IEEE
15 years 11 months ago
Real-time evolution of an embedded controller for an autonomous helicopter
— In this paper we evolve the parameters of a proportional, integral, and derivative (PID) controller for an unstable, complex and nonlinear system. The individuals of the applie...
Benjamin N. Passow, Mario A. Góngora, S. Co...
MIS
2001
Springer
81views Multimedia» more  MIS 2001»
15 years 9 months ago
Multimedia Reporting: Building Multimedia Presentations with Query Answers
A multimedia report is a multimedia presentation which integrates data returned by one or more queries to a multimedia database, thus extending the concept of report familiar in tr...
Augusto Celentano, Ombretta Gaggi
BMCBI
2010
104views more  BMCBI 2010»
15 years 5 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...