3742 search results - page 187 / 749 » On the Use of Formal Techniques for Validation |
159
click to vote
FMSB
2008
15 years 8 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
174
click to vote
MICAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper, we propose a differential evolution algorithm to solve constrained optimization problems. Our approach uses three simple selection criteria based on feasibility to g...
179
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
206
click to vote
RTSS
2005
IEEE
16 years 1 days ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
182
click to vote
IFIP3
1998
15 years 7 months ago
1998
Development of a wide spread project intended to teaching Computer Science, integrating a considerable number of students all over a country with big geographical extension and sc...