2004 search results - page 172 / 401 » Comparison of Model Checking Tools for Information Systems |
174
click to vote
WISE
2007
Springer
16 years 11 days ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
172
click to vote
WWW
2006
ACM
16 years 6 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
141
click to vote
IPPS
2007
IEEE
16 years 12 days ago
2007
IEEE
Many performance problems observed in high end systems are actually caused by the runtime system and not the application code. Detecting these cases will require parallel performa...
156
click to vote
VTS
2007
IEEE
16 years 11 days ago
2007
IEEE
Soft errors due to cosmic particles are a growing reliability threat for VLSI systems. In this paper we analyze the soft error vulnerability of FPGAs used in storage systems. Sinc...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...