Sciweavers

6953 search results - page 1101 / 1391
» Development Tools for Distributed Applications
Sort
View
MM
2004
ACM
174views Multimedia» more  MM 2004»
16 years 3 days ago
Speech, ink, and slides: the interaction of content channels
In this paper, we report on an empirical exploration of digital ink and speech usage in lecture presentation. We studied the video archives of five Master’s level Computer Scien...
Richard J. Anderson, Crystal Hoyer, Craig Prince, ...
QOFIS
2004
Springer
16 years 20 hour ago
Cross-Layer Analytical Modeling of Wireless Channels for Accurate Performance Evaluation
Abstract. An intention to adopt IP protocol for future mobile communication and subsequent extension of Internet services to the air interface calls for advanced performance modeli...
Dmitri Moltchanov, Yevgeni Koucheryavy, Jarmo Harj...
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
16 years 19 hour ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
SAT
2004
Springer
94views Hardware» more  SAT 2004»
16 years 19 hour ago
QBF Reasoning on Real-World Instances
Abstract. During the recent years, the development of tools for deciding Quantified Boolean Formulas (QBFs) has been accompanied by a steady supply of real-world instances, i.e., ...
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
WER
2004
Springer
16 years 10 hour ago
Structural Testing with Use Cases
Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of require...
Adriana Carniello, Mario Jino, Marcos Lordello Cha...
« Prev « First page 1101 / 1391 Last » Next »