Sciweavers

727 search results - page 70 / 146
» Finite Resolution Dynamics
Sort
View
119
Voted
FGCS
2011
149views more  FGCS 2011»
14 years 7 months ago
Adaptive resource provisioning for read intensive multi-tier applications in the cloud
A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, current SLAs offered by cloud infrastructure providers do ...
Waheed Iqbal, Matthew N. Dailey, David Carrera, Pa...
116
Voted
IJCAI
2003
15 years 2 months ago
Formal Verification of Diagnosability via Symbolic Model Checking
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
Alessandro Cimatti, Charles Pecheur, Roberto Cavad...
HAPTICS
2005
IEEE
15 years 6 months ago
Fundamental Limits in the Rendering of Virtual Haptic Textures
We discuss the properties of force-feedback haptic simulation systems that fundamentally limit the re-creation of periodic gratings, and hence, of any texture. These include sampl...
Gianni Campion, Vincent Hayward
ICOIN
2003
Springer
15 years 6 months ago
Name Service in IPv6 Mobile Ad-Hoc Network
In this paper, we propose an architecture of name service system which can provide mobile nodes in IPv6 mobile ad-hoc network with the name-to-address resolution and service discov...
Jaehoon Jeong, Jungsoo Park, Hyoungjun Kim, Kishik...
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
15 years 5 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...