Sciweavers

53390 search results - page 252 / 10678
» Computer Systems Analysis
Sort
View
CHI
1993
ACM
15 years 10 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
SAS
1991
Springer
15 years 10 months ago
Polymorphic Time Systems for Estimating Program Complexity
We present a new approach to static program analysis that permits each expression in a program to be assigned an execution time estimate. Our approach uses a time system in conjun...
Vincent Dornic, Pierre Jouvelot, David K. Gifford
MASCOTS
2007
15 years 8 months ago
Stochastic Bounds Applied to the End to End QoS in Communication Systems
—1 End to end QoS of communication systems is essential for users but their performance evaluation is a complex issue. The ion of such systems are usually given by multidimension...
Hind Castel, Lynda Mokdad, Nihal Pekergin
JSW
2007
112views more  JSW 2007»
15 years 6 months ago
A Framework for Design Engineering Education with Workflow-based e-Learning System
—Education of design engineering has started to change in response to the advancement of computer technology. This paper proposes a new design engineering educational framework u...
Kazuo Hiekata, Hiroyuki Yamato, Piroon Rojanakamol...
CADE
2009
Springer
16 years 7 months ago
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
Stephan Falke, Deepak Kapur
« Prev « First page 252 / 10678 Last » Next »