7661 search results - page 243 / 1533 » Languages and the Computing Profession |
190
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
147
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation environment, to multi-domain and multi-language systems design. This met...
162
click to vote
DIS
2003
Springer
15 years 11 months ago
2003
Springer
We present Scilog, an experimental knowledge base to facilitate scientific discovery and reasoning. Scilog extends Prolog by supporting (1) dedicated predicates for specifying and ...
147
click to vote
JAR
2010
15 years 5 months ago
2010
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
199
click to vote
BIRTHDAY
2004
Springer
16 years 27 min ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...