Sciweavers

164 search results - page 10 / 33
» An Empirical Study of Information Synthesis Task
Sort
View
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
13 years 12 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ETRA
2004
ACM
124views Biometrics» more  ETRA 2004»
14 years 27 days ago
Mental imagery in problem solving: an eye tracking study
Cognitive models and empirical studies of problem solving in visuo-spatial and causal domains suggest that problem solving tasks in such domains invoke cognitive processes involvi...
Daesub Yoon, N. Hari Narayanan
SAC
2002
ACM
13 years 7 months ago
Benefits of document maps for text access in knowledge management: a comparative study
Analyzing, structuring and organizing documented knowledge is an important aspect of knowledge management. In order to ease the access to text collections, in literature so-called...
Andreas Becks, Christian Seeling, Ralf Minkenberg
IPPS
2005
IEEE
14 years 1 months ago
Production Scheduling by Reachability Analysis - A Case Study
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Ange...
ICSM
2002
IEEE
14 years 12 days ago
The Information Gathering Strategies of Software Maintainers
In examining software maintenance processes for improvement opportunities, an obvious choice is information flow. Obtaining accurate, up-to-date, and useful information about a sy...
Carolyn B. Seaman