Sciweavers

10625 search results - page 636 / 2125
» Supporting delay-intolerant applications
Sort
View
LISP
2002
107views more  LISP 2002»
15 years 7 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 6 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...
PAMI
2010
122views more  PAMI 2010»
15 years 5 months ago
Domain Adaptation Problems: A DASVM Classification Technique and a Circular Validation Strategy
—This paper addresses pattern classification in the framework of domain adaptation by considering methods that solve problems in which training data are assumed to be available o...
Lorenzo Bruzzone, Mattia Marconcini
PVLDB
2010
172views more  PVLDB 2010»
15 years 5 months ago
Database-support for Continuous Prediction Queries over Streaming Data
Prediction is emerging as an essential ingredient for real-time monitoring, planning and decision support applications such as intrusion detection, e-commerce pricing and automate...
Mert Akdere, Ugur Çetintemel, Eli Upfal
IOT
2010
15 years 5 months ago
A real-time search engine for the Web of Things
The increasing penetration of the real world with embedded and globally networked sensors leads to the formation of the Internet of Things, offering global online access to the cur...
Benedikt Ostermaier, Kay Römer, Friedemann Ma...