Sciweavers

26 search results - page 4 / 6
» The Dependency Management Framework: A Case Study of the ION...
Sort
View
RTSS
2008
IEEE
14 years 4 days ago
A Multi-mode Real-Time Calculus
The Real-Time Calculus (RTC) framework proposed in [Chakraborty et al., DATE 2003] and subsequently extended in [Wandeler et al., Real-Time Systems 29(2-3), 2005] and a number of ...
Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiag...
KDD
2009
ACM
260views Data Mining» more  KDD 2009»
14 years 6 months ago
Enabling analysts in managed services for CRM analytics
Data analytics tools and frameworks abound, yet rapid deployment of analytics solutions that deliver actionable insights from business data remains a challenge. The primary reason...
Indrajit Bhattacharya, Shantanu Godbole, Ajay Gupt...
AINA
2007
IEEE
13 years 6 months ago
On the Integration of Mobility in a Fault-Tolerant e-Health Web Information System
The e-health domain has for objective to assist and manage citizens health. It concerns many actors like patient, doctors, hospitals and administration. Current and forthcoming ge...
Florencia Balbastro, Alfredo Capozucca, Nicolas Gu...
GLVLSI
2010
IEEE
212views VLSI» more  GLVLSI 2010»
13 years 11 months ago
An integrated thermal estimation framework for industrial embedded platforms
Next generation industrial embedded platforms require the development of complex power and thermal management solutions. Indeed, an increasingly fine and intrusive thermal contro...
Andrea Acquaviva, Andrea Calimera, Alberto Macii, ...
VMCAI
2007
Springer
13 years 12 months ago
Better Under-Approximation of Programs by Hiding Variables
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
Thomas Ball, Orna Kupferman