Sciweavers

1620 search results - page 114 / 324
» Use Case Level Pointcuts
Sort
View
142
Voted
FOCS
2006
IEEE
15 years 9 months ago
On a Geometric Generalization of the Upper Bound Theorem
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...
Uli Wagner
111
Voted
IFM
1999
Springer
15 years 7 months ago
Retrenchment and Punctured Simulation
: Some of the shortcomings of using refinement alone as the means of passing from high level simple models to actual detailed implementations are reviewed. Retrenchment is presente...
Richard Banach, Michael Poppleton
122
Voted
CORR
2010
Springer
147views Education» more  CORR 2010»
15 years 3 months ago
High-Rate Quantization for the Neyman-Pearson Detection of Hidden Markov Processes
This paper investigates the decentralized detection of Hidden Markov Processes using the NeymanPearson test. We consider a network formed by a large number of distributed sensors....
Joffrey Villard, Pascal Bianchi, Eric Moulines, Pa...
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 1 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
118
Voted
APIN
2007
94views more  APIN 2007»
15 years 3 months ago
Agent-oriented modeling of the dynamics of biological organisms
In this paper the agent-oriented modeling perspective to cope with biological complexity is discussed. Three levels of dynamics can distinguished and related to each other: dynami...
Catholijn M. Jonker, Jan Treur