Sciweavers

79 search results - page 6 / 16
» Web Verification: Perspective and Challenges
Sort
View
ADAPTIVE
2007
Springer
15 years 3 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
15 years 2 months 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
14 years 12 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»
14 years 9 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
15 years 3 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