4418 search results - page 31 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
114
Voted
DAC
2000
ACM
16 years 4 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
143
Voted
JIB
2007
15 years 3 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
138
Voted
ERCIMDL
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
131
click to vote
FMCO
2006
Springer
15 years 7 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
132
Voted
ELPUB
1997
ACM
15 years 7 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...