2302 search results - page 365 / 461 » Testing as Abstraction |
184
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
160
click to vote
ADBIS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. The last years there is an increasing interest for query processing techniques that take into consideration the dominance relationship between objects to select the most ...
153
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Mobile agents are often used in wireless sensor networks for distributed target detection with the goal of minimizing the transmission of non-critical data that negativ...
183
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Developers must often diagnose anomalies in programs they only have a partial knowledge of. As a result, they must simultaneously reverse engineer parts of the system they are unf...
199
click to vote
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...