18924 search results - page 7 / 3785 » Conformance of Distributed Systems |
111
click to vote
ICCCI
2009
Springer
14 years 7 months ago
2009
Springer
In this paper we introduce a new formalism to represent multi-agent systems where resources can be exchanged among different agents by maximizing the utility of the agents conformi...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
The saturation strategy for symbolic state-space generation is very effective for globally-asynchronous locally-synchronous discrete-state systems. Its inherently sequential natu...
SPW
1997
Springer
15 years 1 months ago
1997
Springer
We undertook a project to secure the distribution of medical information using Wax. This is a proprietary hypertext-based system used for information such as treatment protocols, d...
VISUALIZATION
2002
IEEE
15 years 2 months ago
2002
IEEE
The bioactivity of a molecule strongly depends on its metastable conformational shapes and the transitions between these. Therefore, conformation analysis and visualization is a b...
ENTCS
2006
14 years 9 months ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...