274 search results - page 11 / 55 » The Maude Formal Tool Environment |
181
click to vote
ICECCS
2009
IEEE
16 years 20 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
142
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
Coil embolization offers a new approach to treat aneurysms. This medical procedure is namely less invasive than an open-surgery as it relies on the deployment of very thin platinum...
135
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing and regulating the behavior of cardiac tissues....
156
click to vote
CADE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
135
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...