Sciweavers

5639 search results - page 461 / 1128
» Timed Abstract Non-interference
Sort
View
BNCOD
2007
96views Database» more  BNCOD 2007»
15 years 6 months ago
Extracting Temporal Information from Short Messages
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...
Richard Cooper, Sinclair Manson
QUESTA
2006
73views more  QUESTA 2006»
15 years 4 months ago
Handling load with less stress
Abstract We study how the average performance of a system degrades as the load nears its peak capacity. We restrict our attention to the performance measures of average sojourn tim...
Nikhil Bansal, David Gamarnik
ICDE
2010
IEEE
222views Database» more  ICDE 2010»
15 years 3 months ago
Finding Clusters in subspaces of very large, multi-dimensional datasets
Abstract— We propose the Multi-resolution Correlation Cluster detection (MrCC), a novel, scalable method to detect correlation clusters able to analyze dimensional data in the ra...
Robson Leonardo Ferreira Cordeiro, Agma J. M. Trai...
INFOCOM
2010
IEEE
15 years 3 months ago
Utility Maximization for Delay Constrained QoS in Wireless
Abstract—This paper studies the problem of utility maximization for clients with delay based QoS requirements in wireless networks. We adopt a model used in a previous work that ...
I-Hong Hou, P. R. Kumar
ICFP
2009
ACM
16 years 5 months ago
Non-parametric parametricity
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
Georg Neis, Derek Dreyer, Andreas Rossberg