89 search results - page 10 / 18 » iData for the World Wide Web - Programming Interconnected We... |
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
DAGSTUHL
2007
13 years 9 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
RAID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Embedded network devices have become an ubiquitous fixture in the modern home, office as well as in the global communication infrastructure. Devices like routers, NAS ap...
HICSS
2002
IEEE
14 years 14 days ago
2002
IEEE
Since the advent of the world-wide web, academic researchers have constructed web pages to present a view of themselves, their work, their associations and their interests. This n...
DAIS
2006
13 years 9 months ago
2006
AJAX (Asynchronous JavaScript and XML) defines a new paradigm for writing highly interactive web applications. Prominent web sites such as Google Maps have made AJAX popular. Writi...