23036 search results - page 4477 / 4608 » Sketching informal presentations |
BTW
2005
Springer
15 years 22 hour ago
2005
Springer
: Ideas from terminology management, the science of terms and definitions, can be used to improve the quality of software and data models, as well as to facilitate the achievement ...
CHI
2005
ACM
15 years 19 hour ago
2005
ACM
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used ...
CLEANDB
2006
ACM
15 years 16 hour ago
2006
ACM
An important reality when integrating scientific data is the fact that data may often be "missing", partially specified, or conflicting. Therefore, in this paper, we pre...
ICSE
2010
IEEE-ACM
15 years 15 hour ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
108
click to vote
DAC
2006
ACM
15 years 13 hour ago
2006
ACM
With the growing complexity in consumer embedded products and the improvements in process technology, Multi-Processor SystemOn-Chip (MPSoC) architectures have become widespread. T...