5863 search results - page 440 / 1173 » On Model-Checking of P Systems |
216
click to vote
EMSOFT
2011
Springer
14 years 7 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
240
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...
199
click to vote
ALGORITHMICA
2005
15 years 7 months ago
2005
Quorum systems are a mechanism for obtaining fault-tolerance and efficient distributed systems. We consider geographic quorum systems; a geographic quorum system is a partition of...
194
click to vote
GRID
2008
Springer
15 years 8 months ago
2008
Springer
As computer networks rapidly increase in size and speed, Internet-distributed systems such as P2P, volunteer computing, and Grid systems are increasingly common. A precise and acc...
191
click to vote
AI
2002
Springer
15 years 7 months ago
2002
Springer
Systems provide a rich abstraction within which divers concepts of reasoning, acceptability and defeasibility of arguments, etc., may be studied using a unified framework. Two imp...