Sciweavers

1944 search results - page 257 / 389
» Understanding and evaluating creativity
Sort
View
PERVASIVE
2007
Springer
15 years 9 months ago
A Time to Glance: Studying the Use of Mobile Ambient Information
Recent work by our group at Motorola Labs has focused on applying the principles of ambient interfaces to the domain of mobile communications. Our methods incorporate both formati...
Frank Bentley, Joe Tullio, Crysta J. Metcalf, Drew...
104
Voted
SEKE
2007
Springer
15 years 9 months ago
REM4j - A Framework for Measuring the Reverse Engineering Capability of UML CASE Tools
Reverse Engineering is becoming increasingly important in the software development world today as many organizations are battling to understand and maintain old legacy systems. To...
Steven Kearney, James F. Power
144
Voted
TACAS
2007
Springer
108views Algorithms» more  TACAS 2007»
15 years 9 months ago
State of the Union: Type Inference Via Craig Interpolation
The ad-hoc use of unions to encode disjoint sum types in C programs and the inability of C’s type system to check the safe use of these unions is a long standing source of subtle...
Ranjit Jhala, Rupak Majumdar, Ru-Gang Xu
VAMOS
2007
Springer
15 years 9 months ago
Exploring the Dimensions of Variability: a Requirements Engineering Perspective
Goal models have been found to be effective for representing and analyzing variability at the early requirements level, by comprehensibly representing all alternative ways by whic...
Sotirios Liaskos, Lei Jiang, Alexei Lapouchnian, Y...
VLSI
2007
Springer
15 years 9 months ago
Estimating design time for system circuits
System design complexity is growing rapidly. As a result, current development costs are constantly increasing. It is becoming increasingly difficult to estimate how much time it ...
Cyrus Bazeghi, Francisco J. Mesa-Martinez, Brian G...