100 search results - page 1 / 20 » A system for specification and verification of interactive, ... |
DEBU
2008
13 years 5 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
SIGMOD
2006
ACM
14 years 5 months ago
2006
ACM
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
WORDS
2005
IEEE
13 years 10 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
ITCC
2005
IEEE
13 years 10 months ago
2005
IEEE
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...