Sciweavers

13140 search results - page 2621 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
IJWET
2010
104views more  IJWET 2010»
14 years 8 months ago
Configurable meta-search in the job domain
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
Tabbasum Naz, Jürgen Dorn, Alexandra Poulovas...
INFOCOM
2010
IEEE
14 years 8 months ago
Socially-Aware Network Design Games
—In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wh...
Jocelyne Elias, Fabio Martignon, Konstantin Avrach...
RSA
2008
80views more  RSA 2008»
14 years 8 months ago
The persistent-access-caching algorithm
ABSTRACT: Caching is widely recognized as an effective mechanism for improving the performance of the World Wide Web. One of the key components in engineering the Web caching syste...
Predrag R. Jelenkovic, Ana Radovanovic
PVLDB
2010
163views more  PVLDB 2010»
14 years 8 months ago
Geospatial Stream Query Processing using Microsoft SQL Server StreamInsight
Microsoft SQL Server spatial libraries contain several components that handle geometrical and geographical data types. With advances in geo-sensing technologies, there has been an...
Seyed Jalal Kazemitabar, Ugur Demiryurek, Mohamed ...
SAS
2010
Springer
121views Formal Methods» more  SAS 2010»
14 years 8 months ago
Alternation for Termination
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
William R. Harris, Akash Lal, Aditya V. Nori, Srir...
« Prev « First page 2621 / 2628 Last » Next »