974 search results - page 45 / 195 » Formal Modeling of Communication Traces |
146
click to vote
ZUM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...
147
Voted
DAC
1994
ACM
15 years 8 months ago
1994
ACM
Current asynchronous tools are focussed mainly on the design of a single interface module. In many applications, one must design interacting interface modules that potentially comm...
126
click to vote
FUIN
2008
15 years 4 months ago
2008
A deterministic behavior of systems composed of several modules is a desirable design goal. Assembling a complex system from components requires also a high degree of re-usability....
158
click to vote
JSS
2010
14 years 11 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
149
click to vote
DEBS
2007
ACM
15 years 8 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...