2493 search results - page 86 / 499 » Tool Support for Design by Contract |
GROUP
1997
ACM
15 years 2 months ago
1997
ACM
Video protocol analysis is a standard technique in many research disciplines including human-computerinteraction and computer supported cooperative work. It is notoriously time co...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper discusses the design and current capabilities of a new software tool, dVC, capable of simulating planar systems of bodies experiencing unilateral contacts wi...
CHI
2007
ACM
15 years 1 months ago
2007
ACM
Software developers must modify their programs to keep up with changing requirements and designs. Often, a conceptually simple change can require numerous edits that are similar b...
HCI
2009
14 years 7 months ago
2009
Sensemaking is a deliberate effort to understand events or information, and a sketch is an exploratory graphic composition of a concept or observation. Within the architecture doma...
MM
2003
ACM
15 years 3 months ago
2003
ACM
Abstract The goal of the proposed capacity planning tool is to provide the best cost/performance configuration for support of a known media service workload. There are two essenti...