534 search results - page 59 / 107 » One more bit is enough |
NIPS
2001
13 years 9 months ago
2001
The PageRank algorithm, used in the Google search engine, greatly improves the results of Web search by taking into account the link structure of the Web. PageRank assigns to a pa...
SCM
1998
13 years 9 months ago
1998
Software Configuration Management (SCM) is the discipline of controlling the evolution of a software product. Product Data Management (PDM) is the disciple of designing and control...
LISA
1994
13 years 9 months ago
1994
Back in the late 80s and early 90s, when disk drives were expensive, it was more economical to buy one server and configure it with enough disk space to support several "disk...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
ENTCS
2008
13 years 8 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...