2060 search results - page 343 / 412 » The Composition of Event-B Models |
146
click to vote
APVIS
2001
15 years 5 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
137
click to vote
ISCAPDCS
2003
15 years 5 months ago
2003
Kernel coupling refers to the effect that kernel i has on kernel j in relation to running each kernel in isolation. The two kernels can correspond to adjacent kernels or a chain ...
150
click to vote
AAMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
133
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: New analysis methods are being developed to integrate data from transcriptome, proteome, interactome, metabolome, and other investigative approaches. At the same time,...
128
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...