Sciweavers

1683 search results - page 200 / 337
» Testing system virtual machines
Sort
View
HICSS
2008
IEEE
122views Biometrics» more  HICSS 2008»
15 years 11 months ago
A Meta-theory for Understanding IS in Socio-technical Systems
Information systems (IS) research often attempts to examine and explain how technology leads to outcomes through usage of information technology (IT). Although extensive research ...
Dominic M. Thomas, Saurabh Gupta, Robert P. Bostro...
HUMAN
2003
Springer
15 years 10 months ago
Fair Real-Time Resource Allocation for Internet End System's QoS Support
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...
Jungkeun Park, Minsoo Ryu, Seongsoo Hong
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
PICS
2001
15 years 6 months ago
An Autosophy Image Content-Based Television System
A first television system based on the Autosophy information theory is now being tested. The new television marks a major theoretical break from conventional television based on t...
Klaus Holtz, Eric Holtz
VEE
2012
ACM
252views Virtualization» more  VEE 2012»
14 years 14 days ago
libdft: practical dynamic data flow tracking for commodity systems
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
Vasileios P. Kemerlis, Georgios Portokalidis, Kang...