Sciweavers

5215 search results - page 923 / 1043
» Modeling User Interfaces to Workflow Information Systems
Sort
View
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
15 years 4 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
AIED
2007
Springer
15 years 4 months ago
How did the e-learning session go? The Student Inspector
Good teachers know their students, and exploit this knowledge to adapt or optimise their instruction. Traditional teachers know their students because they interact with them face-...
Oliver Scheuer, Claus Zinn
ISMAR
2005
IEEE
15 years 3 months ago
Augmented Foam: A Tangible Augmented Reality for Product Design
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...
Woohun Lee, Jun Park
ICSE
1998
IEEE-ACM
15 years 2 months ago
What You See Is What You Test: A Methodology for Testing Form-Based Visual Programs
Form-based visual programming languages, which include commercial spreadsheets and various research systems, have had a substantial impact on end-user computing. Research shows, h...
Gregg Rothermel, Lixin Li, Christopher DuPuis, Mar...
SIGMOD
2008
ACM
97views Database» more  SIGMOD 2008»
14 years 9 months ago
Exploring ocean data
In fall of 2004, we met Jim Gray and began to converse about the data needs of ocean scientists. The conversations ultimately led to the development of a unique portal for explori...
James G. Bellingham, Mike Godin