3898 search results - page 546 / 780 » Maintaining Component-Based Systems |
165
click to vote
IJCMAM
2010
15 years 1 months ago
2010
Commercial Web-based Personal-Health Record (PHR) systems can help patients to share their personal health records (PHRs) anytime from anywhere. PHRs are very sensitive data and an...
168
click to vote
IPPS
2010
IEEE
15 years 1 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 ...
284
click to vote
CASES
2011
ACM
14 years 4 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
241
click to vote
SIGMOD
2009
ACM
16 years 4 months ago
2009
ACM
Schema evolution poses serious challenges in historical data management. Traditionally historical data have been archived either by (i) migrating them into the current schema vers...
153
click to vote
EUROSYS
2006
ACM
16 years 1 months ago
2006
ACM
The database tier of dynamic content servers at large Internet sites is typically hosted on centralized and expensive hardware. Recently, research prototypes have proposed using d...