2935 search results - page 386 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
ENTCS
2010
15 years 3 months ago
2010
Many biological phenomena are inherently multiscale, i.e. they are characterised by interactions involving different scales at the same time. This is the case of bone remodelling,...
195
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
181
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Techniques to reduce power dissipation for embedded systems have recently come into sharp focus in the technology development. Among these techniques, dynamic voltage scaling (DVS)...
145
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
135
click to vote
ECIS
2003
15 years 7 months ago
2003
Traditionally, negotiation support was based on normative and prescriptive research; its users were analysts and experts. The purpose of the recently developed e-negotiation syste...