3271 search results - page 405 / 655 » Controlled Multicast Framework |
167
click to vote
FCT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
167
click to vote
FROCOS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
151
click to vote
HYBRID
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
170
click to vote
ICCS
2007
Springer
16 years 21 days ago
2007
Springer
The distributed object group framework (DOGF) enables easier integration of distributed objects to healthcare home applications. This paper describes a healthcare information manag...
139
click to vote
SCIA
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Recently, an energy-based unified framework for image denoising was proposed by Mr´azek et al. [10], from which existing nonlinear filters such as M-smoothers, bilater...