10038 search results - page 607 / 2008 » Model Checking for Managers |
201
click to vote
CICLING
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
166
click to vote
GPCE
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
198
click to vote
KES
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Ontology-based modelling is becoming increasingly important in the design of complex knowledge management applications. However, many problems related to large-scale onto...
184
click to vote
HICSS
2003
IEEE
16 years 17 days ago
2003
IEEE
In this contribution, we study companies engaging in B2C-E-Commerce and their ability to manage the relationship with their customers. We refer to this as companies’ ECCRM-capab...
246
click to vote
CSMR
2002
IEEE
16 years 7 days ago
2002
IEEE
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...