4814 search results - page 308 / 963 » Combining abstract interpreters |
176
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes an efficient resource-optimal key predistribution scheme for providing improved security in wireless sensor networks. We exploit the advantages of two...
168
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract This paper proposes an approach to continuously optimizing parallel scientific applications with dynamically changing architectures. We achieve this by combining a dynamic...
180
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Functional nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in J...
285
Voted
AMAST
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
180
click to vote
DLOG
2007
15 years 9 months ago
2007
We outline DLMedia, an ontology mediated multimedia information retrieval system, which combines logic-based retrieval with multimedia featurebased similarity retrieval. An ontolog...