10038 search results - page 1688 / 2008 » Model Checking for Managers |
165
click to vote
SYRCODIS
2008
15 years 8 months ago
2008
Based on loosely coupled services in an XML engine, we describe how to realize fine-grained lock protocols, which can guarantee transaction isolation for applications using differ...
173
click to vote
ECIS
2004
15 years 8 months ago
2004
Web sites are now considered an extension of the entire business, not just an additional channel or storefront or a simple information portal for the company. Creating an effectiv...
175
click to vote
BDA
2003
15 years 8 months ago
2003
Pervasive computing introduces data management requirements that must be tackled in a growingvariety of lightweight computing devices. Personal folders on chip, networks of sensor...
189
click to vote
ISCAPDCS
2004
15 years 8 months ago
2004
Location based services in mobile environments have been recognized as a challenging problem that calls for new service models and dynamic strategies. The problem becomes even har...
204
click to vote
DMDW
2003
15 years 8 months ago
2003
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...