Sciweavers

8587 search results - page 52 / 1718
» Interactive dynamic abstraction
Sort
View
157
Voted
FGCS
2007
142views more  FGCS 2007»
15 years 3 months ago
Fault tolerant high performance Information Services for dynamic collections of Grid and Web services
Abstract. E-Science Semantic Grids can often be thought of as dynamic collection of semantic subgrids where each subgrid is a collection of modest number of services that assembled...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce
91
Voted
CAV
2009
Springer
155views Hardware» more  CAV 2009»
16 years 4 months ago
The Zonotope Abstract Domain Taylor1+
tope Abstract Domain Taylor1+ Khalil Ghorbal, Eric Goubault, and Sylvie Putot CEA, LIST, Modelisation and Analysis of Systems in Interaction, F-91191 Gif-sur-Yvette Cedex, France, ...
Khalil Ghorbal, Eric Goubault, Sylvie Putot
140
Voted
ICCD
2005
IEEE
176views Hardware» more  ICCD 2005»
16 years 17 days ago
A Formal Framework for Modeling and Analysis of System-Level Dynamic Power Management
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
Shrirang M. Yardi, Karthik Channakeshava, Michael ...
136
Voted
INFOCOM
2008
IEEE
15 years 10 months ago
Proxy Caching in Split TCP: Dynamics, Stability and Tail Asymptotics
Abstract—The split of a multihop, point to point TCP connection consists in replacing a plain, end-to-end TCP connection by a cascade of TCP connections. In such a cascade, conne...
François Baccelli, Giovanna Carofiglio, Ser...
133
Voted
JGO
2008
101views more  JGO 2008»
15 years 3 months ago
Dynamic equilibria of group vaccination strategies in a heterogeneous population
Abstract In this paper we present an evolutionary variational inequality model of vaccination strategies games in a population with a known vaccine coverage profile over a certain ...
Monica-Gabriela Cojocaru