933 search results - page 119 / 187 » A Data Model to Support End User Software Engineering |
SOSP
1997
ACM
14 years 11 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
119
click to vote
MKWI
2008
14 years 11 months ago
2008
: Grid computing infrastructures and service-oriented architectures commonly rely on web services as their implementation technology. This technology allows complex workflows to be...
IUI
2004
ACM
15 years 3 months ago
2004
ACM
The goal of this work is to provide users immersed in a multi-platform environment with the possibility of interacting with an application while freely moving from one device to a...
IUI
2010
ACM
15 years 4 months ago
2010
ACM
Soft keyboards offer touch-capable mobile and tabletop devices many advantages such as multiple language support and space for larger graphical displays. On the other hand, becaus...