827 search results - page 163 / 166 » Patterns for Timed Property Specifications |
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
In many multiagent settings, situations arise in which agents must collectively make decisions while not every agent is supposed to have an equal amount of influence in the outcom...
CONEXT
2009
ACM
13 years 8 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
BMCBI
2010
13 years 7 months ago
2010
Background: Pathways in biological system often cooperate with each other to function. Changes of interactions among pathways tightly associate with alterations in the properties ...
BMCBI
2008
13 years 7 months ago
2008
Background: The heterokonts are a particularly interesting group of eukaryotic organisms; they include many key species of planktonic and coastal algae and several important patho...
BMCBI
2010
13 years 7 months ago
2010
Background: The protein-coding regions (coding exons) of a DNA sequence exhibit a triplet periodicity (TP) due to fact that coding exons contain a series of three nucleotide codon...