1814 search results - page 315 / 363 » Extended First-Order Logic |
WECWIS
2003
IEEE
15 years 3 months ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
SIGSOFT
2003
ACM
15 years 3 months ago
2003
ACM
Model checking and other finite-state analysis techniques have been very successful when used with hardware systems and less successful with software systems. It is especially di...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
There is an increasing need for various web-service, e-commerce and e-business sites to provide personalized recommendations to on-line customers. This paper proposes a new type o...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
A distributed search system consists of a large number of autonomous search servers logically connected in a peerto-peer network. Each search server maintains a local index of a c...
UML
2001
Springer
15 years 2 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...