2364 search results - page 390 / 473 » An Engine for Computing Well-Founded Models |
126
Voted
ACMSE
2004
ACM
15 years 9 months ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
150
click to vote
VAST
2004
ACM
15 years 9 months ago
2004
ACM
This paper presents the virtual reality applications that the Foundation of the Hellenic World has produced associated with the Olympic Games in ancient Greece. The separate virtu...
140
Voted
AMDO
2004
Springer
15 years 9 months ago
2004
Springer
In many product areas, a growing trend can be observed towards variant design, i.e. the development of customized designs based on variations of mature product models. We have deve...
143
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
135
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...