4007 search results - page 443 / 802 » Automotive Software Integration |
186
click to vote
INFSOF
1998
15 years 6 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
184
click to vote
VLSI
2010
Springer
15 years 5 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
186
click to vote
FMAM
2010
15 years 4 months ago
2010
Abstract: The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting...
163
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to lang...
177
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...