373 search results - page 38 / 75 » Model Checking Techniques applied to the design of Web Servi... |
ICWE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper we present an approach for oblivious composition of Web user interfaces, particularly for volatile functionality. Our approach, which is inspired on well-kn...
ICSOC
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a hig...
WIIW
2001
14 years 11 months ago
2001
- Abstract Modeling web site personalization strategies. Personalization is a key factor for differentiating services and retaining customers in World Wide Web sites. On the other ...
JCDL
2003
ACM
15 years 3 months ago
2003
ACM
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...