Sciweavers

852 search results - page 79 / 171
» Understanding How the Requirements Are Implemented in Source...
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
15 years 4 months ago
Case Study: Model Transformations for Time-triggered Languages
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...
Tivadar Szemethy
ROMAN
2007
IEEE
126views Robotics» more  ROMAN 2007»
15 years 10 months ago
Proactive Robot Task Selection Given a Human Intention Estimate
— Intuitive human-robot cooperation presents a challenge to robots since it demands of them a high level of understanding of the human user. Our approach is to estimate the human...
Andreas J. Schmid, Oliver Weede, Heinz Wörn
ITC
2003
IEEE
143views Hardware» more  ITC 2003»
15 years 9 months ago
A Case Study of IR-Drop in Structured At-Speed Testing
At-speed test has become a requirement in IC technologies below 180 nm. Unfortunately, test mode switching activity and IR-drop present special challenges to the successful applic...
Jayashree Saxena, Kenneth M. Butler, Vinay B. Jaya...
PLDI
2005
ACM
15 years 10 months ago
Jungloid mining: helping to navigate the API jungle
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...
David Mandelin, Lin Xu, Rastislav Bodík, Do...
NDQA
2003
119views Education» more  NDQA 2003»
15 years 5 months ago
Inference Web: Portable and Sharable Explanations for Question Answering
The World Wide Web lacks support for explaining information provenance. When web applications return results, many users do not know what information sources were used, when they ...
Deborah L. McGuinness, Paulo Pinheiro da Silva