5128 search results - page 348 / 1026 » When Abstraction Fails |
196
click to vote
CSR
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
182
click to vote
DILS
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Workflows are gaining importance as a means for modelling and enacting in silico scientific experiments. A major issue which arises when aggregating a collection of analy...
202
click to vote
DSD
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
160
click to vote
ER
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. One of the most severe problems related to database evolution is how to reflect in the data level the changes that have occurred in the conceptual schema of a database. T...
195
click to vote
FATES
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...