4047 search results - page 101 / 810 » Some Properties and Some Problems on Set Functors |
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
SIAMNUM
2010
14 years 11 months ago
2010
We consider the convergence of a volume corrected characteristics-mixed method (VCCMM) for advection-diffusion systems. It is known that, without volume correction, the method is f...
136
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We introduce model-checking games that allow local secondorder power on sets of independent transitions in the underlying partial order models where the games are played....
114
click to vote
QEST
2006
IEEE
15 years 10 months ago
2006
IEEE
We give a quick overview of some key issues in (quantitative) call center management: building realistic models, developing efficient tools to simulate these models, finding qui...
117
click to vote
DGCI
2000
Springer
15 years 8 months ago
2000
Springer
A generalization of a classical discrete tomography problem is considered: Reconstruct binary matrices from their absorbed row and columns sums, i.e., when some known absorption is...