2268 search results - page 193 / 454 » The Essence of Form Abstraction |
149
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
169
click to vote
CCIA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
159
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
181
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We combine in this paper automatic learning of a large lexicon of semantic concepts with traditional video retrieval methods into a novel approach to narrow the semantic ...
157
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...