43 search results - page 8 / 9 » Models and Languages for Describing and Discovering E-Servic... |
103
click to vote
AI
2008
Springer
14 years 11 months ago
2008
Springer
The AllDifferent constraint is a crucial component of any constraint toolkit, language or solver, since it is very widely used in a variety of constraint models. The literature con...
111
click to vote
CCS
2005
ACM
15 years 4 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
AWIC
2003
Springer
15 years 4 months ago
2003
Springer
Automatic and non-invasive web personalization seems to be a challenge for nowadays web sites. Many web mining techniques are used to achieve this goal. Since current web sites evo...
INFOSCALE
2007
ACM
15 years 17 days ago
2007
ACM
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
ODRL
2004
15 years 12 days ago
2004
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...