2302 search results - page 179 / 461 » Modeling Intergovernmental Collaboration: A System Dynamics ... |
160
click to vote
FUIN
2006
15 years 4 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
149
click to vote
HICSS
2000
IEEE
15 years 9 months ago
2000
IEEE
We address the problem of message ordering for reliable multicast communication. End-to-end multicast ordering is useful for ensuring the collective integrity and consistency of d...
144
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
An innovative technique to model and simulate partial and dynamic reconfigurable processors is presented in this paper. The basis for development is a SystemC kernel modified for ...
152
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
143
Voted
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...