1005 search results - page 138 / 201 » Patterns for Refinement Automation |
DAC
2007
ACM
14 years 10 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
A particularly difficult task in molecular imaging is the analysis of fluorescence microscopy images of neural tissue, as they usually exhibit a high density of objects with diffu...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
Web based applications offer a mainstream channel for businesses to manage their activities. We model such business activity in a grammar-based framework. The Backus Naur form not...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
While being quite successful in providing keyword based access to web pages, commercial search portals, such as Google, Yahoo, AltaVista, and AOL, still lack the ability to answer...
FLOPS
2010
Springer
14 years 3 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...