448 search results - page 75 / 90 » A Meta-Method for Formal Method Integration |
105
click to vote
DS
1992
15 years 26 days ago
1992
In this paper, we present methods for supporting autonomous updates in replicated databases. Autonomous updates are of particular importance to applications that cannot tolerate t...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
100
click to vote
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
DAC
2008
ACM
16 years 21 days ago
2008
ACM
This paper introduces an accurate and efficient electrical analysis of logic gates modeled as Multiple Voltage Threshold Models (MVTM) loaded by the associated interconnect. MVTMs...
WWW
2004
ACM
16 years 11 days ago
2004
ACM
The vision of the Semantic Web is to reduce manual discovery and usage of Web resources (documents and services) and to allow software agents to automatically identify these Web r...