367 search results - page 63 / 74 » Using the Experimental Method to Produce Reliable Self-Organ... |
BMCBI
2005
13 years 7 months ago
2005
Background: The development of high-throughput technologies such as yeast two-hybrid systems and mass spectrometry technologies has made it possible to generate large protein-prot...
APN
2007
Springer
14 years 1 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
ATAL
2005
Springer
14 years 29 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
MOBIQUITOUS
2008
IEEE
14 years 1 months ago
2008
IEEE
Location-based services in general require information about the position of certain objects. For instance, for a navigation service the position of the user needs to be known. Th...