186 search results - page 22 / 38 » Compositional modeling and refinement for hierarchical hybri... |
100
click to vote
WSC
2008
15 years 3 months ago
2008
An SOA-compliant DEVS (SOAD) simulation framework is proposed for modeling service-oriented computing systems. A set of novel abstract component models that conform to the SOA pri...
132
click to vote
OTM
2004
Springer
15 years 6 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...
117
click to vote
PDSE
1998
15 years 2 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
116
click to vote
ISCA
2010
IEEE
15 years 3 months ago
2010
IEEE
Two broad classes of memory models are available today: models with hardware cache coherence, used in conventional chip multiprocessors, and models that rely upon software to mana...
108
click to vote
ENTCS
2006
15 years 1 months ago
2006
Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in componentbased systems, we ...