Sciweavers

7529 search results - page 209 / 1506
» The Modula-3 Type System
Sort
View
IEE
2008
117views more  IEE 2008»
15 years 6 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
QUESTA
2007
170views more  QUESTA 2007»
15 years 6 months ago
Priority queueing systems: from probability generating functions to tail probabilities
Obtaining (tail) probabilities from a transform function is an important topic in queueing theory. To obtain these probabilities in discrete-time queueing systems, we have to inve...
Tom Maertens, Joris Walraevens, Herwig Bruneel
INFOCOM
2010
IEEE
15 years 4 months ago
Efficient Similarity Estimation for Systems Exploiting Data Redundancy
Many modern systems exploit data redundancy to improve efficiency. These systems split data into chunks, generate identifiers for each of them, and compare the identifiers among ot...
Kanat Tangwongsan, Himabindu Pucha, David G. Ander...
CORR
2011
Springer
166views Education» more  CORR 2011»
14 years 10 months ago
A Personalized System for Conversational Recommendations
Searching for and making decisions about information is becoming increasingly difficult as the amount of information and number of choices increases. Recommendation systems help ...
Mehmet H. Göker, Pat Langley, Cynthia A. Thom...
ASPLOS
2011
ACM
14 years 10 months ago
Ensuring operating system kernel integrity with OSck
Kernel rootkits that modify operating system state to avoid detection are a dangerous threat to system security. This paper presents OSck, a system that discovers kernel rootkits ...
Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indraj...