Sciweavers

109 search results - page 9 / 22
» An Integrative Framework for Contextual Factors Affecting IT...
Sort
View
SIGCOMM
1999
ACM
13 years 12 months ago
An Integrated Congestion Management Architecture for Internet Hosts
This paper presents a novel framework for managing network congestion from an end-to-end perspective. Our work is motivated by several trends in traffic patterns that threaten th...
Hari Balakrishnan, Hariharan Shankar Rahul, Sriniv...
SEDE
2007
13 years 9 months ago
A framework for constraint checking involving aggregates for multiple XML databases using schematron
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
Albin Laga, Praveen Madiraju
ITP
2010
179views Mathematics» more  ITP 2010»
13 years 11 months ago
The Isabelle Collections Framework
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
Peter Lammich, Andreas Lochbihler
PAAMS
2010
Springer
13 years 5 months ago
Agent-Based AmI System Case Study: The Easy Line + Project
Abstract. Smart environments include context-aware computing to enhance system capabilities which affect user interaction positively. A context-aware application should collect con...
Armando Roy Delgado, Rubén Blasco Mar&iacut...
LREC
2010
209views Education» more  LREC 2010»
13 years 9 months ago
Lingua-Align: An Experimental Toolbox for Automatic Tree-to-Tree Alignment
In this paper we present an experimental toolbox for automatic tree-to-tree alignment based on local classification and alignment inference. The aligner implements a recurrent arc...
Jörg Tiedemann