4348 search results - page 607 / 870 » Using UML for Modeling Complex Real-Time Systems |
173
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Web-based collaboration systems typically require dynamic and context-based interactions between people and services. To support such complex interaction scenarios, we introduce a...
194
click to vote
CCS
2005
ACM
16 years 3 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...
172
click to vote
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...
150
click to vote
COCOON
2005
Springer
16 years 3 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...
156
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 ...