1323 search results - page 169 / 265 » Extended Modeling Languages for Interaction Protocol Design |
131
click to vote
CHI
2004
ACM
16 years 4 months ago
2004
ACM
The UK e-Science programme is relying on the evolution of the paper lab book into a pervasive data gathering lab system. To date take up of existing commercial or research lab boo...
137
click to vote
CHI
2008
ACM
16 years 4 months ago
2008
ACM
When camera phones are used as magic lenses in handheld augmented reality applications involving wall maps or posters, pointing can be divided into two phases: (1) an initial coar...
132
Voted
ENTCS
2006
15 years 4 months ago
2006
In this paper we apply the role metaphor to coordination. Roles are used in sociology as a way to structure organizations and to coordinate their behavior. In our model, the featu...
144
click to vote
ICWS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. Todays information systems are built using various component models such as Enterprise Java Beans, JavaBeans, Microsoft COM+, and CORBA distributed objects. In this paper...
125
click to vote
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...