4,460 research outputs found
Applying Formal Methods to Networking: Theory, Techniques and Applications
Despite its great importance, modern network infrastructure is remarkable for
the lack of rigor in its engineering. The Internet which began as a research
experiment was never designed to handle the users and applications it hosts
today. The lack of formalization of the Internet architecture meant limited
abstractions and modularity, especially for the control and management planes,
thus requiring for every new need a new protocol built from scratch. This led
to an unwieldy ossified Internet architecture resistant to any attempts at
formal verification, and an Internet culture where expediency and pragmatism
are favored over formal correctness. Fortunately, recent work in the space of
clean slate Internet design---especially, the software defined networking (SDN)
paradigm---offers the Internet community another chance to develop the right
kind of architecture and abstractions. This has also led to a great resurgence
in interest of applying formal methods to specification, verification, and
synthesis of networking protocols and applications. In this paper, we present a
self-contained tutorial of the formidable amount of work that has been done in
formal methods, and present a survey of its applications to networking.Comment: 30 pages, submitted to IEEE Communications Surveys and Tutorial
Algorithms for advance bandwidth reservation in media production networks
Media production generally requires many geographically distributed actors (e.g., production houses, broadcasters, advertisers) to exchange huge amounts of raw video and audio data. Traditional distribution techniques, such as dedicated point-to-point optical links, are highly inefficient in terms of installation time and cost. To improve efficiency, shared media production networks that connect all involved actors over a large geographical area, are currently being deployed. The traffic in such networks is often predictable, as the timing and bandwidth requirements of data transfers are generally known hours or even days in advance. As such, the use of advance bandwidth reservation (AR) can greatly increase resource utilization and cost efficiency. In this paper, we propose an Integer Linear Programming formulation of the bandwidth scheduling problem, which takes into account the specific characteristics of media production networks, is presented. Two novel optimization algorithms based on this model are thoroughly evaluated and compared by means of in-depth simulation results
Kecenderungan kerjaya sebagai usahawan di kalangan pelajar bumiputera di Politeknik Sultan Haji Ahmad Shah, Kuantan, Pahang
Usahawan memainkan peranan penting dalam pembangunan ekonomi sesebuah
negara. Walau bagaimanapun, jika dilihat senario sekarang, masih ramai Bumiputera
yang kurang berminat untuk menceburi bidang keusahawanan. Justeru itu, kajian ini
bertujuan untuk menyelidik tentang tahap kecenderungan keijaya sebagai usahawan di
kaiangan pelajar Bumiputera tahun akhir Diploma Akauntansi Politeknik Sultan Haji
Ahmad Shah, Kuantan (POLISAS). Secara khususnya, kajian ini akan menyelidik sejauh
mana cita-cita pelajar Bumiputera untuk menjadi seorang usahawan dipengaruhi oleh
ciri-ciri peribadi pelajar, faktor keluarga, faktor pengajian, pengalaman keija dan faktor
persekitaran. Responden kajian terdiri daripada pelajar Bumiputera POLISAS iaitu
seramai 51 orang. Data dikumpul menggunakan soal selidik dan dianalisis dengan
menggunakan prosedur Ujian T, Crosstabs dan Korelasi Pearson melalui perisian SPSS
(Statistical Package For Social Sciences). Dapatan kajian menunjukkan hanya faktor
persekitaran (iaitu faktor pihak yang paling mempengaruhi pelajar untuk berniaga) yang
dapat menarik minat pelajar untuk melibatkan diri dalam perniagaan. Faktor-faktor lain
didapati kurang memberikan sumbangan dalam menarik minat pelajar untuk cenderung
kepada bidang keusahawanan. Oleh itu, beberapa cadangan telah dibuat bagi menangani
masalah ini agar kaum Bumiputera tidak jauh ketinggalan berbanding kaum lain dan
seterusnya memenuhi hasrat kerajaan dalam merealisasikan matlamat Dasar Ekonomi
Baru (DEB) yang masih belum dicapai sepenuhnya hingga ke hari ini
- …