1128 search results - page 162 / 226 » Little Engines of Proof |
100
Voted
SEMWEB
2004
Springer
15 years 6 months ago
2004
Springer
The emergent Semantic Web, despite being in its infancy, has already received a lot of attention from academia and industry. This resulted in an abundance of prototype systems and ...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Civil infrastructure provides the range of essential services generally necessary to support a nation’s economy and quality of life—arguably entire economies rely on the abili...
92
Voted
METRICS
2003
IEEE
15 years 5 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
94
Voted
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
GMP
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...