Sciweavers

4052 search results - page 324 / 811
» Using RDF to describe networks
Sort
View
DSN
2000
IEEE
15 years 11 months ago
An Automatic SPIN Validation of a Safety Critical Railway Control System
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
Stefania Gnesi, Diego Latella, Gabriele Lenzini, C...
ECAI
2000
Springer
15 years 11 months ago
Dispatchability Conditions for Schedules with Consumable Resources
Earlier work on scheduling by autonomous systems has demonstrated that schedules in the form of simple temporal networks, with intervals of values for possible event-times, can be ...
Richard J. Wallace, Eugene C. Freuder
ICN
2007
Springer
16 years 28 days ago
ABW - Short-Timescale Passive Bandwidth Monitoring
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...
Sven Ubik, Demetres Antoniades, Arne Øsleb&...
149
Voted
PAM
2010
Springer
16 years 1 months ago
The RIPE NCC Internet Measurement Data Repository
Abstract. This paper describes datasets that will shortly be made available to the research community through an Internet measurement data repository operated by the RIPE NCC. The ...
Tony McGregor, Shane Alcock, Daniel Karrenberg
IAT
2007
IEEE
16 years 1 months ago
Tag Meaning Disambiguation through Analysis of Tripartite Structure of Folksonomies
Collaborative tagging systems are becoming very popular recently. Web users use freely-chosen tags to describe shared resources, resulting in a folksonomy. One problem of folksono...
Ching-man Au Yeung, Nicholas Gibbins, Nigel Shadbo...