Sciweavers

1050 search results - page 96 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
SIGSOFT
2004
ACM
15 years 9 months ago
Resolving uncertainties during trace analysis
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
Alexander Egyed
AEI
1999
89views more  AEI 1999»
15 years 3 months ago
The structure of a physical behaviour description facility
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
S. Chandra
AI
2010
Springer
15 years 3 months ago
Interactive semantics
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
Hai Zhuge
ICIA
2007
15 years 6 months ago
Enhancing Interaction with To-Do Lists: Using Artificial Assistants
Assisting users with To Do lists presents new challenges for intelligent user interfaces. This paper presents our approach and an implemented system, BEAM, to process To Do list e...
Yolanda Gil, Timothy Chklovski
CAV
2011
Springer
365views Hardware» more  CAV 2011»
14 years 7 months ago
BAP: A Binary Analysis Platform
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
David Brumley, Ivan Jager, Thanassis Avgerinos, Ed...