711 search results - page 21 / 143 » Patterns in the analysis, design and implementation of frame... |
TELSYS
2002
14 years 11 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
133
click to vote
DOCENG
2011
ACM
13 years 11 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we propose a system of design patterns for Web navigation. We have collected patterns already published in the literature, selected ten of them, refined th...
108
click to vote
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
103
click to vote
SEMWEB
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...