4346 search results - page 589 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
194
Voted
CCS
2005
ACM
16 years 6 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
236
click to vote
DSRT
2008
IEEE
15 years 8 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
178
Voted
BMCBI
2007
15 years 6 months ago
2007
Background: Systematic, high-throughput studies of mouse phenotypes have been hampered by the inability to analyze individual animal data from a multitude of sources in an integra...
153
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
Many web-based systems have a tiered application architecture, in which a request needs to transverse all the tiers before finishing its processing. One of the most important QoS...
157
click to vote
IJCAI
2007
15 years 8 months ago
2007
It is now well-known that the size of the model is the bottleneck when using model-based approaches to diagnose complex systems. To answer this problem, decentralized/distributed ...