308 search results - page 52 / 62 » Modular Verification of Interactive Systems with an Applicat... |
MEMICS
2010
14 years 6 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...
105
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Multiagent systems are often characterized by complex, and sometimes unpredictable interactions amongst their autonomous components. While these systems can provide robust and sca...
BMCBI
2010
14 years 11 months ago
2010
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
112
click to vote
COMSWARE
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...
IRI
2008
IEEE
15 years 6 months ago
2008
IEEE
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...