132 search results - page 13 / 27 » Ajaxifying Classic Web Applications |
COCOON
2007
Springer
14 years 2 months ago
2007
Springer
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit ...
ATVA
2008
Springer
13 years 10 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
ICAC
2006
IEEE
14 years 1 months ago
2006
IEEE
— In autonomic provisioning, a resource manager allocates resources to an application, on-demand, e.g., during load spikes. Modelling-based approaches have proved very successful...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
As programmable mobile devices (such as high-end cellular phones and Personal Digital Assistants) became widely adopted, users ask for Internet access on-the-road. While upcoming ...
POPL
2008
ACM
14 years 8 months ago
2008
ACM
Contracts are behavioural descriptions of Web services. We devise a theory of contracts that formalises the compatibility of a client to a service, and the safe replacement of a s...