3555 search results - page 340 / 711 » Security-Critical System Development with Extended Use Cases |
172
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...
146
click to vote
DATE
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an innovative approach for analogue and mixed-signal verification. It consists in a “verification kit” that makes use of concepts used in state-of-art digi...
172
click to vote
ESEM
2008
ACM
15 years 8 months ago
2008
ACM
This paper proposes a novel method to generate synthetic project cases and add them to a fit dataset for the purpose of improving the performance of analogy-based software effort ...
163
click to vote
AIPS
2009
15 years 7 months ago
2009
In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel shared-memory algorithms for two problems that underli...
166
click to vote
ESEC
1999
Springer
15 years 11 months ago
1999
Springer
Building software systems out of pre-fabricated components is a very attractive vision. Distributed Component Platforms (DCP) and their visual development environments bring this v...