Sciweavers

2799 search results - page 265 / 560
» MAMS Service Framework
Sort
View
ASM
2010
ASM
16 years 1 months ago
Using Event-B to Verify the Kmelia Components and Their Assemblies
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
Pascal André, Gilles Ardourel, Christian At...
RTAS
1999
IEEE
15 years 11 months ago
On Quality of Service Optimization with Discrete QoS Options
We present a QoS management framework that enables us to quantitatively measure QoS, and to analytically plan and allocate resources. In this model, end users' quality prefer...
Chen Lee, John P. Lehoczky, Ragunathan Rajkumar, D...
BTW
2007
Springer
164views Database» more  BTW 2007»
16 years 23 days ago
Ruminations on Multi-Tenant Databases
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...
Dean Jacobs, Stefan Aulbach
ICNS
2006
IEEE
16 years 19 days ago
Promise theory - a model of autonomous objects for pervasive computing and swarms
Abstract— The theory of promises describes policy governed services, in a framework of completely autonomous agents, which assist one another by voluntary cooperation alone. We p...
Mark Burgess, Siri Fagernes
DEXAW
1998
IEEE
136views Database» more  DEXAW 1998»
15 years 10 months ago
Adaptable Transaction Consistency for Mobile Environments
Consistency criteria adopted for the transactional management of shared objects define the degree of allowable interleaving between concurrent transactions. This paper presents an...
Andry Rakotonirainy