Sciweavers

79 search results - page 6 / 16
» Web Verification: Perspective and Challenges
Sort
View
ADAPTIVE
2007
Springer
14 years 1 months ago
Adaptive Support for Distributed Collaboration
Abstract. Through interaction with others, a person develops multiple perspectives that become the basis for innovation and the construction of new knowledge. This chapter discusse...
Amy Soller
CLADE
2003
IEEE
14 years 27 days ago
Issues in Runtime Algorithm Selection for Grid Environments
The heterogeneity and unpredictability of grid computing environments is a severe challenge to algorithm selection for large-scale scientific codes. This paper discusses a set of ...
Prachi Bora, Calvin J. Ribbens, Sandeep Prabhakar,...
AAAI
2007
13 years 10 months ago
On Capturing Semantics in Ontology Mapping
Ontology mapping is a complex and necessary task for many Semantic Web (SW) applications. The perspective users are faced with a number of challenges including the difficulties o...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
ENTCS
2002
145views more  ENTCS 2002»
13 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
ADAPTIVE
2007
Springer
14 years 1 months ago
Personalization in E-Commerce Applications
This chapter is about personalization and adaptation in electronic commerce (e-commerce) applications. In the first part, we briefly introduce the challenges posed by e-commerce ...
Anna Goy, Liliana Ardissono, Giovanna Petrone