347 search results - page 39 / 70 » A Rule-Based Approach to Framework Evolution |
111
click to vote
DCOSS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Aiming at a realistic mobile connectivity model for vehicular sensor networks in urban environments, we propose the combination of large-scale traffic simulation and comp...
IANDC
1998
14 years 11 months ago
1998
We present a model for representing search in theorem proving. This model captures the notion of contraction, which has been central in some of the recent developments in theorem ...
109
click to vote
SIAMCO
2008
14 years 11 months ago
2008
The aim of this paper is to adapt the Viability Theorem from differential inclusions (governing the evolution of vectors in a finite dimensional space) to so-called morphological i...
109
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
110
click to vote
ELPUB
2003
ACM
15 years 5 months ago
2003
ACM
Electronic publishing constitutes one of the most exciting themes nowadays, amongst academics, at least, though substantial effects of IT usage for communication purposes in other...