3093 search results - page 321 / 619 » The Multi-perspective Process Explorer |
121
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
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...
103
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
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 ...
126
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
2007
IEEE-ACM
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...
123
Voted
ALT
2007
Springer
16 years 15 days ago
2007
Springer
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...
110
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
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 ...