Sciweavers

3483 search results - page 311 / 697
» Using Subject-Oriented Modeling to Develop Jini Applications
Sort
View
GEOS
2007
Springer
16 years 9 days ago
Modeling Spatio-temporal Network Computations: A Summary of Results
Spatio-temporal network is defined by a set of nodes, and a set of edges, where the properties of nodes and edges may vary over time. Such networks are encountered in a variety of...
Betsy George, Shashi Shekhar
FMCO
2007
Springer
129views Formal Methods» more  FMCO 2007»
16 years 9 days ago
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
As Internet applications become larger and more complex, the task of managing them becomes overwhelming. “Abnormal” events such as software updates, failures, attacks, and hots...
Peter Van Roy, Seif Haridi, Alexander Reinefeld, J...
ENTCS
2008
97views more  ENTCS 2008»
15 years 4 months ago
Performance of Reactive Interfaces in Stimulus Rich Environments, Applying Formal Methods and Cognitive Frameworks
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
Li Su, Howard Bowman, Philip Barnard
ICASSP
2011
IEEE
14 years 10 months ago
Covariate-dependent dictionary learning and sparse coding
A dependent hierarchical beta process (dHBP) is developed as a prior for data that may be represented in terms of a sparse set of latent features (dictionary elements), with covar...
Mingyuan Zhou, Hongxia Yang, Guillermo Sapiro, Dav...
MMB
2004
Springer
124views Communications» more  MMB 2004»
15 years 11 months ago
A General Framework for Network Survivability Quantification
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
Yun Liu, Kishor S. Trivedi