398 search results - page 42 / 80 » SimpleScalar: An Infrastructure for Computer System Modeling |
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
WOA
2000
13 years 10 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
NDSS
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper presents a model of hierarchical organization of Certification Authorities which can be applied to any open system network. In order to study the feasibility of the pro...