Sciweavers

3684 search results - page 491 / 737
» Generic Support for Distributed Applications
Sort
View
HASE
2008
IEEE
15 years 7 months ago
HyperMIP: Hypervisor Controlled Mobile IP for Virtual Machine Live Migration across Networks
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...
Qin Li, Jinpeng Huai, Jianxin Li, Tianyu Wo, Minxi...
ASE
2008
102views more  ASE 2008»
15 years 6 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 6 months ago
Prolog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
Alin Suciu, Kalman Pusztai, Andrei Vancea
JUCS
2007
165views more  JUCS 2007»
15 years 6 months ago
An Adaptable Framework for Ontology-based Content Creation on the Semantic Web
: Creation of rich, ontology-based metadata is one of the major challenges in developing the Semantic Web. Emerging applications utilizing semantic web techniques, such as semantic...
Onni Valkeapää, Olli Alm, Eero Hyvö...
IJWGS
2007
118views more  IJWGS 2007»
15 years 6 months ago
Grid middleware in China
: Grids aim at constructing a virtual single image of heterogeneous resources and provide uniform interface for distributed internet applications. China also devotes much passion a...
Yongwei Wu, Chunming Hu, Li Zha, Song Wu