16 search results - page 2 / 4 » Component Reuse in B Using ACL2 |
EDOC
2007
IEEE
14 years 2 days ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
WSC
2008
13 years 8 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
ATAL
2009
Springer
13 years 6 months ago
2009
Springer
MAGE (Multi-Agent Game Environment) is a logic-based framework that uses games as a metaphor for representing complex agent activities within an artificial society. More specifical...
ER
2000
Springer
13 years 9 months ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...
DAC
2005
ACM
14 years 6 months ago
2005
ACM
In this work, we propose a new paradigm called power emulation, which exploits hardware acceleration to drastically speedup power estimation. Power emulation is based on the obser...