2681 search results - page 172 / 537 » Topics in asynchronous systems |
162
click to vote
IC
2007
15 years 6 months ago
2007
- The proliferation of the impressive web technologies provides developers with a way to produce performance efficient, usable, rich and interactive web based applications. A set o...
152
click to vote
WOA
2001
15 years 6 months ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
127
Voted
FLAIRS
2010
15 years 6 months ago
2010
There is a growing demand for automated reasoning with world knowledge. SPASS-XDB is an automated reasoning system that incorporates world knowledge from multiple external sources...
128
Voted
ENTCS
2008
15 years 5 months ago
2008
In process algebras like CRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, ...
114
click to vote
ENTCS
2008
15 years 5 months ago
2008
Given a timed automaton with parametric timings, our objective is to describe a procedure for deriving constraints on the parametric timings in order to ensure that, for each valu...