16725 search results - page 3213 / 3345 » Engineering Software Correctness |
121
Voted
CHI
2010
ACM
15 years 9 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...
140
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
142
Voted
INTERACTION
2009
ACM
15 years 9 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
157
Voted
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
126
Voted
PLDI
2006
ACM
15 years 8 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...