9067 search results - page 437 / 1814 » Adaptive Model Checking |
173
Voted
JPDC
2008
15 years 6 months ago
2008
Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or removing compo...
207
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...
276
click to vote
LAWEB
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper presents a model-based approach for developing vectorial user interfaces to an interactive applications, whether it is a web or a stand-alone applications. A vectoria...
160
click to vote
APPROX
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we consider two basic questions regarding the query complexity of testing graph properties in the adjacency matrix model. The first question refers to the relation ...
185
click to vote
KBSE
2003
IEEE
16 years 3 days ago
2003
IEEE
The client-server model has been successfully used to support a wide variety of families of services in the context of distributed systems. However, its server-centric nature make...