2502 search results - page 363 / 501 » Using probabilistic model checking in systems biology |
167
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
152
click to vote
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...
177
click to vote
DNA
2007
Springer
15 years 10 months ago
2007
Springer
In search for “realistic” bio-inspired computing models, we consider asynchronous spiking neural P systems, in the hope to get a class of computing devices with decidable prope...
130
click to vote
AAAI
2007
15 years 6 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
137
click to vote
WS
2010
ACM
15 years 2 months ago
2010
ACM
The SLIF project combines text-mining and image processing to extract structured information from biomedical literature. SLIF extracts images and their captions from published pap...