1111 search results - page 201 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
CMSB
2008
Springer
13 years 10 months ago
2008
Springer
We present a discrete formal model of the central pattern generator (CPG) located in the buccal ganglia of Aplysia that is responsible for mediating the rhythmic movements of its f...
PROMS
2001
Springer
14 years 27 days ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
CODES
2007
IEEE
14 years 12 days ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...