Sciweavers

6768 search results - page 1224 / 1354
» Developing Applications Using Model-Driven Design Environmen...
Sort
View
SIGDOC
2005
ACM
16 years 9 days ago
Animating pervasive computing
It is difficult to present new, complex ideas in ways that are informative and interesting in situations where a vast amount of information has to be delivered and understood quic...
Andrée Woodcock, John R. Burns, Sarah Mount...
187
Voted
DSVIS
2005
Springer
16 years 8 days ago
Test of the ICARE Platform Fusion Mechanism
Multimodal interactive systems offer a flexibility of interaction that increases their complexity. ICARE is a component-based approach to specify and develop multimodal interfaces...
Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bo...
DSVIS
2005
Springer
16 years 8 days ago
Towards Model Checking Stochastic Aspects of the thinkteam User Interface
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
Maurice H. ter Beek, Mieke Massink, Diego Latella
ISAS
2004
Springer
16 years 3 days ago
A Modular Approach for Model-Based Dependability Evaluation of a Class of Systems
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
Stefano Porcarelli, Felicita Di Giandomenico, Paol...
167
Voted
IMC
2003
ACM
15 years 12 months ago
Virtual landmarks for the internet
Internet coordinate schemes have been proposed as a method for estimating minimum round trip time between hosts without direct measurement. In such a scheme, each host is assigned...
Liying Tang, Mark Crovella
« Prev « First page 1224 / 1354 Last » Next »