1222 search results - page 228 / 245 » A Bayesian Approach to Model Checking Biological Systems |
125
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
Abstract. Given the combinatorial nature of cellular signalling pathways, where biological agents can bind and modify each other in a large number of ways, concurrent or agent-base...
144
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
A software product line (SPL) is a set of software systems with well-defined commonalities and variabilities that are developed by managed reuse of common artifacts. In this pape...
127
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
124
click to vote
ICCS
2009
Springer
14 years 11 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
139
click to vote
CIA
2007
Springer
15 years 8 months ago
2007
Springer
Trust learning is a crucial aspect of information exchange, negotiation, and any other kind of social interaction among autonomous agents in open systems. But most current probabil...