5090 search results - page 948 / 1018 » Constructing Strategies for Programming |
173
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
131
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
102
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
A modular program analysis considers components independently and provides succinct summaries for each component, which can be used when checking the rest of the system. Consider ...
122
Voted
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
125
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...