Sciweavers

1281 search results - page 179 / 257
» A Performance Model for a Business Process Integration Middl...
Sort
View
ENTCS
2006
133views more  ENTCS 2006»
13 years 9 months ago
Linking Semantic Models to Support CSP || B Consistency Checking
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
Neil Evans, Helen Treharne
ICASSP
2011
IEEE
13 years 26 days ago
Robust GNSS signal detection in the presence of navigation data bits
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
J. Chandrasekhar, Chandra R. Murthy
ICIP
2008
IEEE
14 years 3 months ago
Wavelet-based hybrid multilinear models for multidimensional image approximation
The wavelet transform hierarchically decomposes images with prescribed bases, while multilineal models search for optimal bases to adapt visual data. In this paper, we integrate t...
Qing Wu, Chun Chen, Yizhou Yu
ARGMAS
2004
Springer
14 years 2 months ago
An Argument-Based Framework to Model an Agent's Beliefs in a Dynamic Environment
Abstract. One of the most difficult problems in multiagent systems involves representing knowledge and beliefs of agents in dynamic environments. New perceptions modify an agent’...
Marcela Capobianco, Carlos Iván Chesñ...
IISWC
2009
IEEE
14 years 3 months ago
Logicalization of communication traces from parallel execution
—Communication traces are integral to performance modeling and analysis of parallel programs. However, execution on a large number of nodes results in a large trace volume that i...
Qiang Xu, Jaspal Subhlok, Rong Zheng, Sara Voss