2741 search results - page 455 / 549 » Engineering Mathematical Knowledge |
152
Voted
ECUMN
2004
Springer
15 years 6 months ago
2004
Springer
Traffic engineering of IP networks requires the characterization and modeling of network traffic on multiple time scales due to the existence of several statistical properties that...
128
Voted
CMSB
2006
Springer
15 years 6 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
106
click to vote
BIRTHDAY
1991
Springer
15 years 6 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
128
Voted
ASSETS
2005
ACM
15 years 4 months ago
2005
ACM
Access to graphical images (bar charts, diagrams, line graphs, etc.) that are in a tactile form (representation through which content can be accessed by touch) is inadequate for s...
139
Voted
IMC
2007
ACM
15 years 4 months ago
2007
ACM
We address the problem of efficient end-to-end network monitoring of path metrics in communication networks. Our goal is to minimize the number of measurements or monitors requir...