435 search results - page 3 / 87 » This Year in the MOVES Institute |
WADT
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
SIGDOC
2004
ACM
13 years 11 months ago
2004
ACM
We analyzed texts from years 1800-2004 from the Philosophical Transactions of the Royal Society of London. Two-thousand-word sections from about 20 articles published at 25-year i...
IFIP3
2004
13 years 6 months ago
2004
: The history of computing is relatively short compared with that of any other area of human knowledge, be it science, engineering, medicine, law, or accounting. On the other hand,...
TITS
2010
13 years 6 days ago
2010
This paper investigates the collaboration patterns and research topic trends in the publications of the IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS (T-ITS) over the pas...
ELPUB
2007
ACM
13 years 9 months ago
2007
ACM
Jointly developed over 5 years by Atira A/S and a number of university libraries, the commercial repository system PURE is a tool in the research administration and dissemination ...