250 search results - page 43 / 50 » Kanata: Adaptation and Evolution in Data Sharing Systems |
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
We study the relationship between Concurrent Separation Logic (CSL) and the assume-guarantee (A-G) method (a.k.a. rely-guarantee method). We show in three steps that CSL can be tre...
BMCBI
2011
13 years 1 days ago
2011
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
WCRE
2008
IEEE
14 years 2 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
Data consistency protocols are vital ingredients of mobile data management systems. Notable research efforts have been spent to find adequate consistency models for allowing mobi...
ADBIS
2000
Springer
14 years 24 days ago
2000
Springer
When dealing with large quantities of clauses, the use of persistent knowledge is inevitable, and indexing methods are essential to answer queries efficiently. We introduce PerKMan...