1656 search results - page 132 / 332 » Ontology Composition using a Role Modeling Approach |
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Every user has a distinct background and a specific goal when searching for information on the Web. The goal of Web search personalization is to tailor search results to a particu...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The cellular industry all over the world has been witnessing very high growth rates in subscriber base in recent years. For developing countries in particular, cellular services a...
ATVA
2006
Springer
14 years 24 days ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
BDA
2001
13 years 10 months ago
2001
The growth of Internet technologies has unleashed a wave of innovations that are having tremendous impact on the way organisations interact with their partners and customers. It h...