4460 search results - page 128 / 892 » Formal methods for interactive systems |
156
Voted
FMSB
2008
15 years 5 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
122
Voted
CACM
2008
15 years 2 months ago
2008
During the last decade, multidimensional databases have become common in the business and scientific worlds. Analysis places significant demands on the interfaces to these databas...
153
Voted
ENTCS
2006
15 years 3 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
133
Voted
MVA
1990
15 years 4 months ago
1990
In this paper, we describe a commercial vision system for the digitisation and extraction of horizons drawn with coloured pencils on seismic sections. The system combines image pr...
155
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...