1526 search results - page 70 / 306 » Computer algebra in systems biology |
156
click to vote
DMSN
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we introduce a rotating interrogation technique for sensor networks called Whirlpool. Whirlpool provides opportunities to optimize data delivery in time-critical mo...
141
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
Recently the class of BPA (or context-free) processes has been intensively studied and bisimilarity and regularity appeared to be decidable (see [CHS95, BCS95, BCS96]). We extend t...
164
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
148
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
141
click to vote
ICARIS
2005
Springer
15 years 11 months ago
2005
Springer
We have proposed a metaphor “DAnger Susceptible daTa codON” (DASTON) in data subject to processing by Danger Theory (DT) based Artificial Immune System (DAIS). The DASTONs are ...