1323 search results - page 59 / 265 » Extended Modeling Languages for Interaction Protocol Design |
105
click to vote
ASPLOS
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
124
click to vote
VL
2002
IEEE
15 years 8 months ago
2002
IEEE
We merge the Pictorial Computing Laboratory (PCL) approach to WIMP interaction with the Interaction Locus approach to structuring visual spaces as a step toward the definition of ...
122
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
131
Voted
SOSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes the global model of service interactions among a set of participants. In order to achieve a common business goal, the protocols of inte...
149
click to vote
ESOP
2003
Springer
15 years 8 months ago
2003
Springer
Programmers confront a minefield when they design interactive Web programs. Web interactions take place via Web browsers. With browsers, consumers can whimsically navigate among t...