2419 search results - page 352 / 484 » A Formal Approach to Software Testing |
152
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
Synchronous Dataflow (SDF) is a powerful analysis tool for regular, cyclic, parallel task graphs. The behaviour of SDF graphs however is static and therefore not always able to ac...
157
Voted
SEDE
2010
15 years 1 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
134
Voted
TAAS
2010
14 years 10 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
213
Voted
FASE
2011
Springer
14 years 7 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
155
Voted
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
Given a multi-modal dynamical system, optimal switching logic synthesis involves generating conditions for switching between the system modes such that the resulting hybrid system...