12981 search results - page 2359 / 2597 » Model Checking (Abstract) |
130
click to vote
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Software configurable analogue arrays offer an intriguing platform for automated design by evolutionary algorithms. Like previous evolvable hardware experiments, these pl...
142
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
137
click to vote
ACISICIS
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--Although temporal context may significantly affect the popularity of items and user preference over items, traditional information filtering techniques such as recommende...
134
click to vote
CRITIS
2007
15 years 5 months ago
2007
Much of the world's critical infrastructure is at risk from attack through electronic networks connected to control systems. Security metrics are important because they provid...
121
click to vote
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...