5525 search results - page 518 / 1105 » Verification of Model Transformations |
201
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
Safety critical applications for recently proposed vehicle to vehicle ad-hoc networks (VANETs) rely on a beacon signal, which poses a threat to privacy since it could allow a vehic...
170
click to vote
ETS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper explores the concept of design diversity redundancy applied to mixed-signal (MS) circuit blocks, as a proposal to increase system reliability. Three different implement...
197
click to vote
EPEW
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
227
click to vote
AEI
2007
15 years 7 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
177
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...