Sciweavers

3093 search results - page 321 / 619
» The Multi-perspective Process Explorer
Sort
View
CHI
2004
ACM
16 years 3 months ago
Context photography: modifying the digital camera into a new creative tool
Context photography consists of capturing context when taking a picture, by sensing physical input in addition to light and representing it visually in real time. By developing th...
Sara Ljungblad, Maria Håkansson, Lalya Gaye,...
103
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Computer-Assisted Assume/Guarantee Reasoning with VeriSoft
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
Jürgen Dingel
126
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
STRADA: A Tool for Scenario-Based Feature-to-Code Trace Detection and Analysis
Software engineers frequently struggle with understanding the relationships between the source code of a system and its requirements or high-level features. These relationships ar...
Alexander Egyed, Gernot Binder, Paul Grünbach...
123
Voted
ALT
2007
Springer
16 years 15 days ago
One-Shot Learners Using Negative Counterexamples and Nearest Positive Examples
As some cognitive research suggests, in the process of learning languages, in addition to overt explicit negative evidence, a child often receives covert explicit evidence in form...
Sanjay Jain, Efim B. Kinber
110
Voted
HICSS
2009
IEEE
105views Biometrics» more  HICSS 2009»
15 years 10 months ago
Social Visualization of Health Messages
Seeking health-related information on the Internet is becoming commonplace. Patients use the Internet to learn about their conditions and medications, and to discuss symptoms and ...
Brant Chee, Karrie G. Karahalios, Bruce Schatz