14704 search results - page 2613 / 2941 » computing 2007 |
122
click to vote
GPCE
2007
Springer
15 years 11 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
118
click to vote
GREC
2007
Springer
15 years 11 months ago
2007
Springer
Automatic separation of text and symbols from graphics in document image is one of the fundamental aims in graphics recognition. In maps, separation of text and symbols from graphi...
126
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
124
click to vote
HYBRID
2007
Springer
15 years 11 months 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...
132
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...