2060 search results - page 49 / 412 » The Composition of Event-B Models |
124
click to vote
STOC
2005
ACM
16 years 4 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
102
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
134
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
125
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
The composite signal flow model of computation targets systems with significant control and data processing parts. It builds on the data flow and synchronous data flow models ...
158
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...