1866 search results - page 333 / 374 » Dynamic instantiation-checking components |
CN
2010
14 years 12 months ago
2010
Most existing criteria [3], [5], [8] for sizing router buffers rely on explicit formulation of the relationship between buffer size and characteristics of Internet traffic. However...
106
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: To standardize gene product descriptions, a formal vocabulary defined as the Gene Ontology (GO) has been developed. GO terms have been categorized into biological proc...
112
click to vote
FCT
1999
Springer
15 years 4 months ago
1999
Springer
The aim of this paper is to investigate the relation between two models of concurrent systems: tile rewrite systems and coalgebras. Tiles are rewrite rules with side e ects which a...
131
click to vote
APSEC
1998
IEEE
15 years 4 months ago
1998
IEEE
Modified programs are required to be retested to determine whether changes have been made correctly and to investigate whether those cause any adverse effect on the program behavi...
INFOVIS
1998
IEEE
15 years 4 months ago
1998
IEEE
Geographic Visualization, sometimes called cartographic visualization, is a form of information visualization in which principles from cartography, geographic information systems ...