1069 search results - page 170 / 214 » Automatic Generation of Language-based Tools |
112
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
100
click to vote
ISBI
2004
IEEE
16 years 15 days ago
2004
IEEE
The practice of image processing inherently requires software development. Creating this technology requires designing, implementing, debugging and testing software applications o...
167
click to vote
SIGMOD
2005
ACM
15 years 12 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
102
click to vote
ICCAD
2005
IEEE
15 years 8 months ago
2005
IEEE
Many commercially available embedded processors are capable of extending their base instruction set for a specific domain of applications. While steady progress has been made in t...
100
click to vote
CANS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...