Sciweavers

631 search results - page 102 / 127
» A user context approach for adaptive and distributed GIS
Sort
View
KIVS
2005
Springer
14 years 1 months ago
Caching for Improved Retrieval in Peer-to-Peer Networks
: In modern information systems the dominant retrieval paradigms have shifted from exact matching towards retrieving a list of the most relevant objects. This is because users usua...
Wolf-Tilo Balke, Wolfgang Nejdl, Wolf Siberski, Uw...
FMCAD
2008
Springer
13 years 9 months ago
Augmenting a Regular Expression-Based Temporal Logic with Local Variables
The semantics of temporal logic is usually defined with respect to a word representing a computation path over a set of atomic propositions. A temporal logic formula does not contr...
Cindy Eisner, Dana Fisman
EUROPAR
2007
Springer
14 years 2 months ago
TAUoverSupermon : Low-Overhead Online Parallel Performance Monitoring
Online application performance monitoring allows tracking performance characteristics during execution as opposed to doing so post-mortem. This opens up several possibilities other...
Aroon Nataraj, Matthew J. Sottile, Alan Morris, Al...
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 6 months ago
New Algorithms for Optimal Online Checkpointing
Frequently, the computation of derivatives for optimizing time-dependent problems is based on the integration of the adjoint differential equation. For this purpose, the knowledge...
Philipp Stumm, Andrea Walther
GLOBECOM
2008
IEEE
13 years 8 months ago
Security Rules Specification and Analysis Based on Passive Testing
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...
Wissam Mallouli, Fayçal Bessayah, Ana R. Ca...