315 search results - page 2 / 63 » Taxonomy for Integrating Models in the Development of Intera... |
DSVIS
2005
Springer
13 years 10 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...
GRAPHICSINTERFACE
2003
13 years 6 months ago
2003
Many groupware systems now allow people to converse and casually interact through their computers in quite rich ways—through text, images, video, artifact sharing and so on. If ...
JUCS
2008
13 years 5 months ago
2008
: The design of the groupware systems is a progressively extended task, which is difficult to tackle. There are not proposals to support the joint modeling of collaborative and int...
JUCS
2008
13 years 5 months ago
2008
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...
ICDCSW
2002
IEEE
13 years 10 months ago
2002
IEEE
Event-based middleware is currently being applied for application component integration in a range of application domains. As a result, a variety of event services have been propo...