11561 search results - page 1918 / 2313 » A Language for Biochemical Systems |
188
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...
241
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
183
click to vote
SAIG
2000
Springer
15 years 10 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
184
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
177
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...