1573 search results - page 139 / 315 » Signs and Formal Concepts |
103
click to vote
ENTCS
2002
15 years 1 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
ISCI
2010
15 years 13 days ago
2010
An important concept in the theory of residuated lattices and other algebraic structures used for formal fuzzy logic, is that of a filter. Filters can be used, amongst others, to...
111
click to vote
ISOLA
2010
Springer
15 years 13 days ago
2010
Springer
In object oriented languages, dynamic memory allocation is a fundamental concept. When using such a language in hard real-time systems, it becomes important to bound both the worst...
122
click to vote
ISOLA
2010
Springer
15 years 13 days ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
116
click to vote
ISOLA
2010
Springer
14 years 12 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...