1105 search results - page 95 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
157
click to vote
ANTSW
2010
Springer
15 years 2 months ago
2010
Springer
Activator-inhibitor models have been widely used to explain several morphogenetic processes. They have also been used to engineer algorithms for computer graphics, distributed syst...
118
click to vote
SEFM
2007
IEEE
15 years 11 months ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...
137
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
169
click to vote
SERA
2010
Springer
15 years 3 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
128
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...